Searched defs:get_dispatcher_x86_64 (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/include/target/x86_64/barrelfish/ | ||
| H A D | dispatcher_target.h | 42 get_dispatcher_x86_64(dispatcher_handle_t handle) function |
Completed in 103 milliseconds