KVM_S390_SIE_PAGE_OFFSET
if ((vmf->pgoff == KVM_S390_SIE_PAGE_OFFSET)
KVM_S390_SIE_PAGE_OFFSET << PAGE_SHIFT);