Searched refs:dcb_cap (Results 1 - 11 of 11) sorted by relevance

/barrelfish-2018-10-04/usr/vmkitmon/
H A Dvmx.h45 #define VMCS_WRITE_SEGREG_REALMODE(dcb_cap,reg,selector) \
47 errval_t err_val = invoke_dispatcher_vmwrite(dcb_cap, VMX_GUEST_ ##reg## _SEL, (selector)); \
48 err_val += invoke_dispatcher_vmwrite(dcb_cap, VMX_GUEST_ ##reg## _BASE, (selector) << 4); \
49 err_val += invoke_dispatcher_vmwrite(dcb_cap, VMX_GUEST_ ##reg## _LIM, ((selector) << 4) + 0xffff); \
H A Drealmode.c111 errval_t err = invoke_dispatcher_vmread(env->dcb_cap, VMX_EXCP_BMP, &excp_bmp);
191 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RSP, &guest_rsp);
195 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip);
199 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RFLAGS, &guest_rflags);
222 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CS_BASE, &guest_cs_base);
226 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
230 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_ES_BASE, &guest_es_base);
234 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_FS_BASE, &guest_fs_base);
238 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_GS_BASE, &guest_gs_base);
242 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_SS_BAS
[all...]
H A Dguest.c84 errval_t err = invoke_dispatcher_vmwrite(g->dcb_cap, VMX_EXIT_MSR_STORE_F, g->msr_area_pa);
85 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_EXIT_MSR_STORE_CNT, VMX_MSR_COUNT);
86 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_ENTRY_MSR_LOAD_F, g->msr_area_pa);
87 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_ENTRY_MSR_LOAD_CNT, VMX_MSR_COUNT);
496 err = guest_slot_alloc(self, &self->dcb_cap);
498 err = dispatcher_create(self->dcb_cap);
517 err = invoke_dispatcher_setup_guest(self->dcb_cap, ep_cap, vnode_cap,
525 err += invoke_dispatcher_vmwrite(self->dcb_cap, VMX_IOBMP_A_F, self->iobmp_a_pa);
526 err += invoke_dispatcher_vmwrite(self->dcb_cap, VMX_IOBMP_B_F, self->iobmp_b_pa);
527 err += invoke_dispatcher_vmwrite(self->dcb_cap, VMX_MSRBMP_
[all...]
H A Dguest.h68 struct capref dcb_cap; member in struct:guest
481 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RSP, &guest_rsp);
493 errval_t err = invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RSP, val);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dresource_ctrl.c27 err = b->rpc_tx_vtbl.rsrc_manifest(b, d->dcb_cap, manifest, id, &msgerr);
39 err = b->rpc_tx_vtbl.rsrc_join(b, id, d->dcb_cap, &msgerr);
H A Ddispatch.c180 if (disp_gen->dcb_cap.slot == 0) {
181 disp_gen->dcb_cap.cnode = cnode_task;
182 disp_gen->dcb_cap.slot = TASKCN_SLOT_DISPATCHER;
/barrelfish-2018-10-04/include/barrelfish/
H A Ddispatcher.h45 struct capref dcb_cap; member in struct:dispatcher_generic
/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.c448 err = guest_slot_alloc(self, &self->dcb_cap);
450 err = dispatcher_create(self->dcb_cap);
471 g->dcb_cap = si->dcb;
472 err = invoke_dispatcher_setup_guest(g->dcb_cap, ep_cap, si->vtree,
530 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_IOBMP_A_F, g->iobmp_a_pa);
531 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_IOBMP_B_F, g->iobmp_b_pa);
532 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_MSRBMP_F, g->msrpm_pa);
533 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_VPID, ++last_guest_asid);
536 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RSP, regs->rsp);
537 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RI
[all...]
H A Dguest.h58 struct capref dcb_cap; member in struct:guest
/barrelfish-2018-10-04/usr/fish/
H A Dfish_common.c132 struct capref dcb = get_dispatcher_generic(handle)->dcb_cap;
/barrelfish-2018-10-04/doc/013-capability-mgmt/
H A Dtype_system.tex373 datatype dcb_cap "Dispatcher capability" {

Completed in 83 milliseconds