Searched refs:p_gdt (Results 1 – 1 of 1) sorted by relevance
263 union descriptor *p_gdt; in set_bios_selectors() local266 p_gdt = &gdt[PCPU_GET(cpuid) * NGDT]; in set_bios_selectors()268 p_gdt = gdt; in set_bios_selectors()273 ssdtosd(&ssd, &p_gdt[GBIOSCODE32_SEL].sd); in set_bios_selectors()279 ssdtosd(&ssd, &p_gdt[GBIOSCODE16_SEL].sd); in set_bios_selectors()286 ssdtosd(&ssd, &p_gdt[GBIOSDATA_SEL].sd); in set_bios_selectors()292 ssdtosd(&ssd, &p_gdt[GBIOSUTIL_SEL].sd); in set_bios_selectors()298 ssdtosd(&ssd, &p_gdt[GBIOSARGS_SEL].sd); in set_bios_selectors()