/barrelfish-2018-10-04/usr/vmkitmon/ |
H A D | vmx.h | 45 #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 D | realmode.c | 111 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 D | guest.c | 84 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 D | guest.h | 68 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 D | resource_ctrl.c | 27 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 D | dispatch.c | 180 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 D | dispatcher.h | 45 struct capref dcb_cap; member in struct:dispatcher_generic
|
/barrelfish-2018-10-04/usr/arrakismon/ |
H A D | guest.c | 448 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 D | guest.h | 58 struct capref dcb_cap; member in struct:guest
|
/barrelfish-2018-10-04/usr/fish/ |
H A D | fish_common.c | 132 struct capref dcb = get_dispatcher_generic(handle)->dcb_cap;
|
/barrelfish-2018-10-04/doc/013-capability-mgmt/ |
H A D | type_system.tex | 373 datatype dcb_cap "Dispatcher capability" {
|