Searched refs:X86_32_ARCH_NUMREGS (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/kernel/arch/x86_32/ | ||
H A D | gdb_arch.c | 48 X86_32_ARCH_NUMREGS /* not a real register; must be last! See also NUM_REGS. */ enumerator in enum:x86_32_register_nums |
Completed in 27 milliseconds