Research on Dynamic Integrity Measurement Model Based on Memory Paging Mechanism

Algorithm 3

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);