> > + kvm_caps.guest_phys_bits = boot_cpu_data.x86_phys_bits; > > When KeyID_bits is non-zero, MAXPHYADDR != boot_cpu_data.x86_phys_bits > here, you can check in detect_tme(). from detect_tme(): /* * KeyID bits effectively lower the number of physical address * bits. Update cpuinfo_x86::x86_phys_bits accordingly. */ c->x86_phys_bits -= keyid_bits; This looks like x86_phys_bits gets adjusted if needed. take care, Gerd