Lines Matching defs:uint64_t
68 stphys(uint64_t physaddr, int value)
73 ldphys(uint64_t physaddr)
78 stdphys(uint64_t physaddr, uint64_t value)
82 uint64_t
83 lddphys(uint64_t physaddr)
130 ! void stdphys(uint64_t physaddr, uint64_t value)
165 ! uint64_t lddphys(uint64_t physaddr)
193 ! void stphys(uint64_t physaddr, int value)
208 ! int ldphys(uint64_t physaddr)
346 * uint64_t
354 uint64_t
369 * uint64_t
377 uint64_t
391 * _fp_write_pgsr(uint64_t *buf, kfpu_t *fp)
399 _fp_write_pgsr(uint64_t buf, kfpu_t *fp)
412 * set_gsr(uint64_t buf, kfpu_t *fp)
420 set_gsr(uint64_t buf, kfpu_t *fp)