KMDB_AUXV_FL_NOTRPSWTCH
kav->kav_flags |= KMDB_AUXV_FL_NOTRPSWTCH;
kaif_trap_switch = (kav->kav_flags & KMDB_AUXV_FL_NOTRPSWTCH) == 0;