max_host_virt_addr_bits
if (CC(!__is_canonical_address(vmcs12->guest_ssp, max_host_virt_addr_bits() + 1)))
data = __canonical_address(data, max_host_virt_addr_bits());
return !__is_canonical_address(la, max_host_virt_addr_bits());