intc_wkpu_nxp_s32.h

Go to the documentation of this file.

/*
 * Copyright 2023-2024 NXP
 *
 * SPDX-License-Identifier: Apache-2.0
 */

 
#ifndef ZEPHYR_INCLUDE_DRIVERS_INTERRUPT_CONTROLLER_INTC_WKPU_NXP_S32_H_
#define ZEPHYR_INCLUDE_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_INCLUDE_DRIVERS_INTERRUPT_CONTROLLER_INTC_WKPU_NXP_S32_H_ */