Searched defs:ci_db_regs (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ipf/machine/ | ||
| H A D | cpu.h | 113 struct trapframe *ci_db_regs; /* registers for debuggers */ member in struct:cpu_info |
Completed in 52 milliseconds