//xen/include/public/xen.h
#define MMU_NORMAL_PT_UPDATE    0
#define MMU_MACHPHYS_UPDATE    1
Algorithm 2