Searched refs:init_boot_gdt (Results 1 – 3 of 3) sorted by relevance
182 init_boot_gdt(bgdt); in boot_kdi_tmpinit()239 init_boot_gdt(bgdt); in boot_kdi_tmpinit()
422 void init_boot_gdt(user_desc_t *);
1290 init_boot_gdt(user_desc_t *bgdt) in init_boot_gdt() function