Lines Matching defs:guest_ds_base
1117 uint64_t guest_ds_sel, guest_ds_base, guest_ds_lim,
1120 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
1148 guest_ds_sel, guest_ds_base, guest_ds_lim, guest_ds_access);
1539 uint64_t guest_ds_base;
1540 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
1541 addr = *(uint16_t *)&code[3] + guest_ds_base;
1638 uint64_t guest_ds_base, es_guest_base;
1758 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
1760 guest_ds_base + guest_get_si(g);
1828 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
1830 guest_ds_base + guest_get_si(g);