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

/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ipf/machine/
H A Ddb_machdep.h43 typedef vaddr_t db_addr_t; /* address - unsigned */ typedef
53 #define PC_REGS(regs) ((db_addr_t)(regs)->tf_special.__spare == 0) ? \
54 ((db_addr_t)(regs)->tf_special.rp) : \
55 ((db_addr_t)(regs)->tf_special.iip + (((regs)->tf_special.psr>>41) & 3))
59 #define PC_REGS(regs) ((db_addr_t)(regs)->tf_special.iip + (((regs)->tf_special.psr>>41) & 3))
90 db_expr_t db_bkpt_set(db_expr_t inst, db_addr_t addr);

Completed in 1833 milliseconds