sys/arm/include/debug_monitor.h
sys/arm64/include/debug_monitor.h