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