Symbol: x86_64_saved_state
sys/cpu/x86_64/include/db_machdep.h
40
typedef struct x86_64_saved_state db_regs_t;
sys/platform/pc64/x86_64/db_interface.c
103
kdb_trap(int type, int code, struct x86_64_saved_state *regs)
sys/platform/vkernel64/x86_64/db_interface.c
101
kdb_trap(int type, int code, struct x86_64_saved_state *regs)