Searched refs:rmp_gdt_init (Results 1 – 3 of 3) sorted by relevance
67 void rmp_gdt_init(rm_platter_t *);129 rmp_gdt_init(rm_platter_t *rm) in rmp_gdt_init() function352 rmp_gdt_init(rm); in mach_cpucontext_xalloc()
572 rmp_gdt_init(real_mode_platter); in i_cpr_power_down()
162 extern void rmp_gdt_init(rm_platter_t *);