From: Borislav Petkov <bp@suse.de> is_hypervisor_range() can simply check if the PGD index is within ffff800000000000 - ffff87ffffffffff which is the
↧