isxen
if (isxen()) \
if (isxen())
if ((ksymtab == 0 || kstrtab == 0) && isxen())
KASSERT(isxen(), ("xen_pvh_parse_memmap reached when !Xen"));