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