tdx_set_guest_phys_addr_bits
entry->eax = tdx_set_guest_phys_addr_bits(entry->eax, 0xff);
value->eax = tdx_set_guest_phys_addr_bits(value->eax, 0);
out->eax = tdx_set_guest_phys_addr_bits(out->eax, g_maxpa);