Searched refs:GBIOSCODE16_SEL (Results 1 – 2 of 2) sorted by relevance
277 ssdtosd(&ssd, &p_gdt[GBIOSCODE16_SEL].sd); in set_bios_selectors() 415 *(u_short *)stack = GSEL(GBIOSCODE16_SEL, SEL_KPL); in bios16() 434 bioscall_vector.vec16.segment = GSEL(GBIOSCODE16_SEL, SEL_KPL); in bios16()
237 #define GBIOSCODE16_SEL 14 /* BIOS interface (16bit Code) */ macro