Searched refs:rm_platter_t (Results 1 – 5 of 5) sorted by relevance
67 void rmp_gdt_init(rm_platter_t *);131 rmp_gdt_init(rm_platter_t *rm) in rmp_gdt_init()158 (uint32_t)offsetof(rm_platter_t, rm_temp_gdt); in rmp_gdt_init()234 rm_platter_t *rm = (rm_platter_t *)rm_platter_va; in mach_cpucontext_xalloc()553 rm_platter_t *rm = (rm_platter_t *)rm_platter_va; in mp_cpu_poweroff()
303 rm_platter_t *real_mode_platter = (rm_platter_t *)rm_platter_va; in i_cpr_pre_resume_cpus()520 rm_platter_t *wcpp = (rm_platter_t *)wakevirt; in i_cpr_power_down()528 rm_platter_t *real_mode_platter = (rm_platter_t *)rm_platter_va; in i_cpr_power_down()865 rm_platter_t *real_mode_platter = (rm_platter_t *)rm_platter_va; in init_real_mode_platter()905 offsetof(rm_platter_t, rm_temp_gdt); in init_real_mode_platter()
106 } rm_platter_t; typedef
125 rm_platter_t wc_platter;
161 extern void rmp_gdt_init(rm_platter_t *);