Lines Matching defs:dispatcher
141 static inline errval_t invoke_dispatcher_vmread(struct capref dispatcher,
145 return cap_invoke3(dispatcher, DispatcherCmd_Vmread,
159 static inline errval_t invoke_dispatcher_vmwrite(struct capref dispatcher,
163 return cap_invoke3(dispatcher, DispatcherCmd_Vmwrite,
172 static inline errval_t invoke_dispatcher_vmptrld(struct capref dispatcher)
174 return cap_invoke1(dispatcher, DispatcherCmd_Vmptrld).error;
182 static inline errval_t invoke_dispatcher_vmclear(struct capref dispatcher)
184 return cap_invoke1(dispatcher, DispatcherCmd_Vmclear).error;
193 invoke_dispatcher_setup_guest(struct capref dispatcher,
199 return cap_invoke5(dispatcher, DispatcherCmd_SetupGuest,