Searched refs:p_gdt (Results 1 – 1 of 1) sorted by relevance
261 union descriptor *p_gdt; in set_bios_selectors() local264 p_gdt = &gdt[PCPU_GET(cpuid) * NGDT]; in set_bios_selectors()266 p_gdt = gdt; in set_bios_selectors()271 ssdtosd(&ssd, &p_gdt[GBIOSCODE32_SEL].sd); in set_bios_selectors()277 ssdtosd(&ssd, &p_gdt[GBIOSCODE16_SEL].sd); in set_bios_selectors()284 ssdtosd(&ssd, &p_gdt[GBIOSDATA_SEL].sd); in set_bios_selectors()290 ssdtosd(&ssd, &p_gdt[GBIOSUTIL_SEL].sd); in set_bios_selectors()296 ssdtosd(&ssd, &p_gdt[GBIOSARGS_SEL].sd); in set_bios_selectors()