# CONFIG_INTERRUPT_SANITIZE_REGISTERS is not set
