427 unmap_wakeaddr_1to1(uint64_t wakephys)  in unmap_wakeaddr_1to1()  argument
429 	uintptr_t	wp = (uintptr_t)wakephys;  in unmap_wakeaddr_1to1()
437 	uint64_t	wakephys = rm_platter_pa;  in i_cpr_post_resume_cpus()  local
452 	unmap_wakeaddr_1to1(wakephys);  in i_cpr_post_resume_cpus()
467 map_wakeaddr_1to1(uint64_t wakephys)  in map_wakeaddr_1to1()  argument
469 	uintptr_t	wp = (uintptr_t)wakephys;  in map_wakeaddr_1to1()
470 	hat_devload(kas.a_hat, (caddr_t)wp, PAGESIZE, btop(wakephys),  in map_wakeaddr_1to1()
513 	uint64_t	wakephys = rm_platter_pa;  in i_cpr_power_down()  local
548 	map_wakeaddr_1to1(wakephys);  in i_cpr_power_down()
557 	    (void *)wakevirt, (uint_t)wakephys))  in i_cpr_power_down()
613 		    (uint_t)wakephys, (void *)&kernel_wc_code))  in i_cpr_power_down()
670 		power_req.req.ppm_power_enter_sx_req.wakephys = wakephys;  in i_cpr_power_down()
684 		unmap_wakeaddr_1to1(wakephys);  in i_cpr_power_down()