GUEST_LINEAR_ADDRESS
EVMCS1_FIELD(GUEST_LINEAR_ADDRESS, guest_linear_address,
vmcs12->guest_linear_address = vmcs_readl(GUEST_LINEAR_ADDRESS);
FIELD(GUEST_LINEAR_ADDRESS, guest_linear_address),
SHADOW_FIELD_RO(GUEST_LINEAR_ADDRESS, guest_linear_address)
case GUEST_LINEAR_ADDRESS:
case GUEST_LINEAR_ADDRESS: