XKPHYS
#define PHYS_TO_XKPHYS(cm, a) (XKPHYS | (_ACAST64_(cm) << 59) | (a))
if (start < XKPHYS)
&& (fw_arg2 < XKPHYS || fw_arg2 > XKSEG))