Searched refs:wkpu_nxp_s32_get_pending (Results 1 – 2 of 2) sorted by relevance
76 uint64_t wkpu_nxp_s32_get_pending(const struct device *dev);
56 uint64_t pending = wkpu_nxp_s32_get_pending(dev); in wkpu_nxp_s32_interrupt_handler()157 uint64_t wkpu_nxp_s32_get_pending(const struct device *dev) in wkpu_nxp_s32_get_pending() function
