Searched defs:curdispatcher (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/include/arch/x86_32/barrelfish/
H A Dcurdispatcher_arch.h21 static inline dispatcher_handle_t curdispatcher(void) function
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish/
H A Dcurdispatcher_arch.h21 static inline dispatcher_handle_t curdispatcher(void) function
/barrelfish-2018-10-04/include/arch/aarch64/barrelfish/
H A Dcurdispatcher_arch.h29 static inline dispatcher_handle_t curdispatcher(void) { function
/barrelfish-2018-10-04/include/arch/arm/barrelfish/
H A Dcurdispatcher_arch.h29 static inline dispatcher_handle_t curdispatcher(void) function

Completed in 48 milliseconds