Searched refs:GBIOSUTIL_SEL (Results 1 – 2 of 2) sorted by relevance
242 #define GBIOSUTIL_SEL 16 /* BIOS interface (Utility) */ macro
292 ssdtosd(&ssd, &p_gdt[GBIOSUTIL_SEL].sd); in set_bios_selectors()407 *(u_short *)stack = GSEL(GBIOSUTIL_SEL, SEL_KPL); in bios16()