Searched refs:GBIOSDATA_SEL (Results 1 – 2 of 2) sorted by relevance
241 #define GBIOSDATA_SEL 15 /* BIOS interface (Data) */ macro
286 ssdtosd(&ssd, &p_gdt[GBIOSDATA_SEL].sd); in set_bios_selectors()412 *(u_short *)stack = GSEL(GBIOSDATA_SEL, SEL_KPL); in bios16()