is_noncanonical_msr_address
CC(is_noncanonical_msr_address(ssp_tbl, vcpu)))
if (CC(is_noncanonical_msr_address(vmcs12->host_ia32_sysenter_esp, vcpu)) ||
CC(is_noncanonical_msr_address(vmcs12->host_ia32_sysenter_eip, vcpu)))
if (CC(is_noncanonical_msr_address(vmcs12->host_s_cet, vcpu)) ||
CC(is_noncanonical_msr_address(vmcs12->host_ssp, vcpu)))
(CC(is_noncanonical_msr_address(vmcs12->guest_bndcfgs & PAGE_MASK, vcpu)) ||
if (is_noncanonical_msr_address(data, vcpu))
if (is_noncanonical_msr_address(data & PAGE_MASK, vcpu) ||
if (is_noncanonical_msr_address(data, vcpu))
if (is_noncanonical_msr_address(data, vcpu))
if (is_noncanonical_msr_address(data, vcpu))