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