text: /*
   * Copyright (c) 2021 NXP
   *
   * SPDX-License-Identifier: Apache-2.0
   */
  
  #include <device.h>
  #include <xtensa/xtruntime.h>
  #include <irq_nextlevel.h>
  #include <xtensa/hal.h>
  #include <init.h>
  
  #include "soc.h"
  
  #ifdef CONFIG_DYNAMIC_INTERRUPTS
  #include <sw_isr_table.h>
  #endif
  #define LOG_LEVEL CONFIG_SOC_LOG_LEVEL
  #include <logging/log.h>
  LOG_MODULE_REGISTER(soc);
  
  void z_soc_irq_enable(uint32_t irq)
  {
  	/*
  	 * enable core interrupt
  	 */
  	z_xtensa_irq_enable(XTENSA_IRQ_NUMBER(irq));
  }
  
  void z_soc_irq_disable(uint32_t irq)
  {
  	/*
  	 * disable the interrupt in interrupt controller
  	 */
  	z_xtensa_irq_disable(XTENSA_IRQ_NUMBER(irq));
  }
  
  int z_soc_irq_is_enabled(unsigned int irq)
  {
  	int ret = 0;
  
  	/* regular interrupt */
  	ret = z_xtensa_irq_is_enabled(XTENSA_IRQ_NUMBER(irq));
  
  	return ret;
  }
  