KERNEL_BREAKPOINT
if (fault_instruction == KERNEL_BREAKPOINT) {
#define BKPT_INST (KERNEL_BREAKPOINT)