Symbol: PMAP_MD_XEN_NOTR