Searched refs:vm86dbg_intxxtab (Results 1 – 5 of 5) sorted by relevance
117 unsigned char vm86dbg_intxxtab[32]; /* for debugger */ member
136 unsigned char vm86dbg_intxxtab[32]; /* for debugger */ member
153 unsigned char vm86dbg_intxxtab[32]; /* for debugger */ member
282 memcpy(&ts->vm86plus.vm86plus.vm86dbg_intxxtab, in do_vm86()283 target_v86->vm86plus.vm86dbg_intxxtab, 32); in do_vm86()
626 if ((1 << (intno & 7)) & vmpi->vm86dbg_intxxtab[intno >> 3]) { in handle_vm86_fault()