Searched defs:db_regs_t (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ipf/machine/
H A Ddb_machdep.h46 typedef struct trapframe db_regs_t; typedef in typeref:struct:trapframe
47 extern db_regs_t *ddb_regp; /* pointer to current register state */
94 void db_pc_advance(db_regs_t *);
110 u_long db_register_value(db_regs_t *, int);
114 int ia64_trap(int, int, db_regs_t *); /* See: trap.c */

Completed in 771 milliseconds