Searched refs:vm86dbg_intxxtab (Results 1 – 3 of 3) sorted by relevance
116 unsigned char vm86dbg_intxxtab[32]; /* for debugger */ member
889 unsigned char vm86dbg_intxxtab[32]; /* for debugger */ member
877 unsigned char vm86dbg_intxxtab[32]; /* for debugger */ member