struct mmu_update  {
  uint64_t ptr;   /* Machine address of PTE. */
  uint64_t val;   /* New contents of PTE.  */
};
typedef struct mmu_update mmu_update_t;
DEFINE_XEN_GUEST_HANDLE(mmu_update_t);
Algorithm 3