Symbol: tdx_set_guest_phys_addr_bits
arch/x86/kvm/vmx/tdx.c
184
entry->eax = tdx_set_guest_phys_addr_bits(entry->eax, 0xff);
arch/x86/kvm/vmx/tdx.c
2319
value->eax = tdx_set_guest_phys_addr_bits(value->eax, 0);
arch/x86/kvm/vmx/tdx.c
2650
out->eax = tdx_set_guest_phys_addr_bits(out->eax, g_maxpa);