intc_wkpu_nxp_s32.h

Go to the documentation of this file.

/*
 * Copyright 2023 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_
 
#include <Wkpu_Ip.h>
 
/* Wrapper callback for WKPU line */
typedef void (*wkpu_nxp_s32_callback_t)(uint8_t pin, void *arg);
 
void wkpu_nxp_s32_unset_callback(const struct device *dev, uint8_t line);
 
int wkpu_nxp_s32_set_callback(const struct device *dev, uint8_t line,
 wkpu_nxp_s32_callback_t cb, uint8_t pin, void *arg);
 
void wkpu_nxp_s32_enable_interrupt(const struct device *dev, uint8_t line,
 Wkpu_Ip_EdgeType edge_type);
 
void wkpu_nxp_s32_disable_interrupt(const struct device *dev, uint8_t line);
 
uint64_t wkpu_nxp_s32_get_pending(const struct device *dev);
 
#endif /* ZEPHYR_DRIVERS_INTERRUPT_CONTROLLER_INTC_WKPU_NXP_S32_H_ */