Home
last modified time | relevance | path

Searched refs:handle_event (Results 1 – 2 of 2) sorted by relevance

/trusty/kernel/lib/trusty/
Dhandle.c134 uint32_t* handle_event, in handle_wait() argument
140 if (!handle || !handle_event) in handle_wait()
157 *handle_event = event; in handle_wait()
/trusty/kernel/lib/trusty/include/lib/trusty/
Dhandle.h167 uint32_t* handle_event,