12 #include "hal/Types.h"
26 HAL_NotifierHandle HAL_InitializeNotifier(int32_t* status);
35 void HAL_StopNotifier(HAL_NotifierHandle notifierHandle, int32_t* status);
44 void HAL_CleanNotifier(HAL_NotifierHandle notifierHandle, int32_t* status);
54 void HAL_UpdateNotifierAlarm(HAL_NotifierHandle notifierHandle,
55 uint64_t triggerTime, int32_t* status);
64 void HAL_CancelNotifierAlarm(HAL_NotifierHandle notifierHandle,
76 uint64_t HAL_WaitForNotifierAlarm(HAL_NotifierHandle notifierHandle,