Searched refs:GBIOSCODE32_SEL (Results 1 – 3 of 3) sorted by relevance
239 #define GBIOSCODE32_SEL 13 /* BIOS interface (32bit Code) */ macro
228 ASSYM(BC32SEL, GSEL(GBIOSCODE32_SEL, SEL_KPL));
273 ssdtosd(&ssd, &p_gdt[GBIOSCODE32_SEL].sd); in set_bios_selectors()