Symbol: debug_signal_mask_op
headers/os/kernel/debugger.h
362
debug_signal_mask_op ignore_op; // what to do with ignore_mask
headers/os/kernel/debugger.h
363
debug_signal_mask_op ignore_once_op; // what to do with