Symbol: BKPT_INST_TYPE
sys/ddb/db_break.h
40
#ifndef BKPT_INST_TYPE
sys/ddb/db_break.h
52
BKPT_INST_TYPE bkpt_inst; /* saved instruction at bkpt */