Searched defs:invoke_dispatcher_vmread (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/include/arch/x86_64/barrelfish/ | ||
| H A D | invocations_arch.h | 141 static inline errval_t invoke_dispatcher_vmread(struct capref dispatcher, function |
Completed in 93 milliseconds