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