Symbol: DEFINE_XEN_MMU_PTEP_MODIFY_PROT