Searched refs:rm_platter_t (Results 1 – 5 of 5) sorted by relevance
67 void rmp_gdt_init(rm_platter_t *);129 rmp_gdt_init(rm_platter_t *rm) in rmp_gdt_init()156 (uint32_t)offsetof(rm_platter_t, rm_temp_gdt); in rmp_gdt_init()263 rm_platter_t *rm = (rm_platter_t *)rm_platter_va; in mach_cpucontext_xalloc()582 rm_platter_t *rm = (rm_platter_t *)rm_platter_va; in mp_cpu_poweroff()
301 rm_platter_t *real_mode_platter = (rm_platter_t *)rm_platter_va; in i_cpr_pre_resume_cpus()514 rm_platter_t *wcpp = (rm_platter_t *)wakevirt; in i_cpr_power_down()521 rm_platter_t *real_mode_platter = (rm_platter_t *)rm_platter_va; in i_cpr_power_down()844 rm_platter_t *real_mode_platter = (rm_platter_t *)rm_platter_va; in init_real_mode_platter()883 offsetof(rm_platter_t, rm_temp_gdt); in init_real_mode_platter()
106 } rm_platter_t; typedef
125 rm_platter_t wc_platter;
162 extern void rmp_gdt_init(rm_platter_t *);