134     uint32_t            act  in ActGetDataPointer()  argument
138 #define RETURN_ACT_POINTER(N)  if(0x##N == act) return &ACT_##N;  in ActGetDataPointer()
152     uint32_t            act  in _plat__ACT_GetImplemented()  argument
155     return (ActGetDataPointer(act) != NULL);  in _plat__ACT_GetImplemented()
165     uint32_t            act             //IN: the ACT selector             in _plat__ACT_GetRemaining()  argument
168     P_ACT_DATA              actData = ActGetDataPointer(act);  in _plat__ACT_GetRemaining()
182     uint32_t            act         //IN: number of ACT to check  in _plat__ACT_GetSignaled()  argument
185     P_ACT_DATA              actData = ActGetDataPointer(act);  in _plat__ACT_GetSignaled()
195     uint32_t            act,  in _plat__ACT_SetSignaled()  argument
199     ActSignal(ActGetDataPointer(act), on);  in _plat__ACT_SetSignaled()
205     uint32_t            act         //IN: number of ACT to check  in _plat__ACT_GetPending()  argument
208     P_ACT_DATA              actData = ActGetDataPointer(act);  in _plat__ACT_GetPending()
223     uint32_t            act,        // IN: ACT to update  in _plat__ACT_UpdateCounter()  argument
227     P_ACT_DATA          actData = ActGetDataPointer(act);  in _plat__ACT_UpdateCounter()
316     uint32_t        act,  in ActZero()  argument
323     actData->number = (uint8_t)act;  in ActZero()