cpu_guest_has_ldpte
#ifndef cpu_guest_has_ldpte
if (cpu_guest_has_htw || cpu_guest_has_ldpte)
if (cpu_guest_has_htw || cpu_guest_has_ldpte) {
if (!cpu_guest_has_htw && !cpu_guest_has_ldpte)
if (!cpu_guest_has_htw && !cpu_guest_has_ldpte)
if (!cpu_guest_has_htw && !cpu_guest_has_ldpte)
if (!cpu_guest_has_htw && !cpu_guest_has_ldpte)
if (!cpu_guest_has_htw && !cpu_guest_has_ldpte)
if (!cpu_guest_has_htw && !cpu_guest_has_ldpte)
if (!cpu_guest_has_htw && !cpu_guest_has_ldpte)
if (!cpu_guest_has_htw && !cpu_guest_has_ldpte)
if (cpu_guest_has_htw || cpu_guest_has_ldpte) {
if (cpu_guest_has_ldpte || (cpu_guest_has_htw &&