/* Dump reserved exception information. 
See z_arm_fault_dump() for example.  */
static void reserved_exception(const z_arch_esf_t *esf, int fault)
/* Dump reserved exception information. 
See z_arm_fault_dump() for example.  */
static void reserved_exception(const z_arch_esf_t *esf, int fault)
{
	ARG_UNUSED(esf);
	PR_FAULT_INFO("***** %s %d) *****",
	       fault < 16 ? "Reserved Exception (" : "Spurious interrupt (IRQ ",
	       fault - 16);
}