intc_wkpu_nxp_s32.h

Go to the documentation of this file.

/*
 * Copyright 2023-2024 NXP
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef ZEPHYR_DRIVERS_INTERRUPT_CONTROLLER_INTC_WKPU_NXP_S32_H_
#define ZEPHYR_DRIVERS_INTERRUPT_CONTROLLER_INTC_WKPU_NXP_S32_H_
 
typedef void (*wkpu_nxp_s32_callback_t)(uint8_t pin, void *arg);
 
enum wkpu_nxp_s32_trigger {
        WKPU_NXP_S32_RISING_EDGE,
        WKPU_NXP_S32_FALLING_EDGE,
        WKPU_NXP_S32_BOTH_EDGES,
};
 
void wkpu_nxp_s32_unset_callback(const struct device *dev, uint8_t irq);
 
int wkpu_nxp_s32_set_callback(const struct device *dev, uint8_t irq, uint8_t pin,
                              wkpu_nxp_s32_callback_t cb,  void *arg);
 
void wkpu_nxp_s32_enable_interrupt(const struct device *dev, uint8_t irq,
                                   enum wkpu_nxp_s32_trigger trigger);
 
void wkpu_nxp_s32_disable_interrupt(const struct device *dev, uint8_t irq);
 
uint64_t wkpu_nxp_s32_get_pending(const struct device *dev);
 
#endif /* ZEPHYR_DRIVERS_INTERRUPT_CONTROLLER_INTC_WKPU_NXP_S32_H_ */