Searched refs:esds (Results 1 – 2 of 2) sorted by relevance
2 pushad_regs_t *regs, Bit32u esds, Bit32u flags_ptr)
1414 uint32_t TCGInterruptHandler(pushad_regs_t *regs, uint32_t esds, in TCGInterruptHandler() argument1417 uint16_t DS = esds >> 16; in TCGInterruptHandler()1418 uint16_t ES = esds & 0xffff; in TCGInterruptHandler()
Completed in 5 milliseconds