Searched refs:X86_32_EBP_REG (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/kernel/arch/x86_32/ | ||
| H A D | gdb_arch.c | 29 X86_32_ESI_REG, X86_32_EDI_REG, X86_32_EBP_REG, X86_32_ESP_REG, enumerator in enum:x86_32_register_nums |
Completed in 34 milliseconds