Searched refs:GBIOSARGS_SEL (Results 1 – 2 of 2) sorted by relevance
240 #define GBIOSARGS_SEL 17 /* BIOS interface (Arguments) */ macro
296 ssdtosd(&ssd, &p_gdt[GBIOSARGS_SEL].sd); in set_bios_selectors() 394 (GSEL(GBIOSARGS_SEL, SEL_KPL) << 16); in bios16()