intc_max32_rv32.h

Go to the documentation of this file.

/*
 * Copyright (c) 2026 Analog Devices, Inc
 *
 * SPDX-License-Identifier: Apache-2.0
 */

 
#ifndef ZEPHYR_DRIVERS_INTERRUPT_CONTROLLER_INTC_MAX32_RV32_H_
#define ZEPHYR_DRIVERS_INTERRUPT_CONTROLLER_INTC_MAX32_RV32_H_

void intc_max32_rv32_irq_clear_pending(int source);
 
#endif /* ZEPHYR_DRIVERS_INTERRUPT_CONTROLLER_INTC_MAX32_RV32_H_ */