Searched refs:GUEST_DS_BASE (Results 1 – 3 of 3) sorted by relevance
306 GUEST_DS_BASE = 0x0000680c, enumerator
311 case GUEST_DS_BASE: in evmcs_vmread()698 case GUEST_DS_BASE: in evmcs_vmwrite()
356 vmwrite(GUEST_DS_BASE, 0); in init_vmcs_guest_state()