55 mtmsr(register_t value)  in mtmsr()
63 mtmsrd(register_t value)  in mtmsrd()
73 	register_t value;  in mfmsr()  local
82 mtsrin(vm_offset_t va, register_t value)  in mtsrin()
91 	register_t value;  in mfsrin()  local
102 	register_t value;  in mfctrl()  local
110 mtdec(register_t value)  in mtdec()
119 	register_t value;  in mfdec()  local
129 	uint32_t value;  in mfpvr()  local
167 	uint64_t value;  in mffs()  local
176 mtfsf(uint64_t value)  in mtfsf()