intc_thejas32.h

Go to the documentation of this file.

/*
 * Copyright (c) 2026 Anuj Deshpande
 *
 * SPDX-License-Identifier: Apache-2.0
 */

 
#ifndef ZEPHYR_INCLUDE_DRIVERS_INTERRUPT_CONTROLLER_INTC_THEJAS32_H_
#define ZEPHYR_INCLUDE_DRIVERS_INTERRUPT_CONTROLLER_INTC_THEJAS32_H_
 
#include <stdint.h>

void thejas32_intc_irq_enable(uint32_t irq);

void thejas32_intc_irq_disable(uint32_t irq);

int thejas32_intc_irq_is_enabled(uint32_t irq);
 
#endif /* ZEPHYR_INCLUDE_DRIVERS_INTERRUPT_CONTROLLER_INTC_THEJAS32_H_ */