__is_canonical_address
return __is_canonical_address(vaddr, vaddr_bits) ?
return __is_canonical_address(vaddr, vaddr_bits) ?
if (!__is_canonical_address(la, va_bits))
return !__is_canonical_address(la, l1_address_bits_on_exit);
if (CC(!__is_canonical_address(vmcs12->guest_ssp, max_host_virt_addr_bits() + 1)))
return !__is_canonical_address(la, max_host_virt_addr_bits());
return !__is_canonical_address(la, vcpu_virt_addr_bits(vcpu));
return __is_canonical_address(vaddr, boot_cpu_data.x86_virt_bits);