Searched refs:gdbmach_set_pc (Results 1 - 3 of 3) sorted by relevance

/vbox/src/VBox/Devices/PC/ipxe/src/arch/i386/include/
H A Dgdbmach.h49 static inline void gdbmach_set_pc ( gdbreg_t *regs, gdbreg_t pc ) { function
/vbox/src/VBox/Devices/PC/ipxe/src/arch/x86_64/include/
H A Dgdbmach.h36 static inline void gdbmach_set_pc ( gdbreg_t *regs, gdbreg_t pc ) { function
/vbox/src/VBox/Devices/PC/ipxe/src/core/
H A Dgdbstub.c243 gdbmach_set_pc ( stub->regs, pc );

Completed in 47 milliseconds