Lines Matching defs:guest_ds_base
1588 uint64_t guest_ds_sel, guest_ds_base, guest_ds_lim,
1591 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
1619 guest_ds_sel, guest_ds_base, guest_ds_lim, guest_ds_access);
2004 uint64_t guest_ds_base;
2005 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
2006 addr = *(uint16_t *)&code[3] + guest_ds_base;
2103 uint64_t guest_ds_base, es_guest_base;
2223 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
2225 guest_ds_base + guest_get_si(g);
2293 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
2295 guest_ds_base + guest_get_si(g);