EASI_SIZE
memcpy(dst_pgd, src_pgd, sizeof(pgd_t) * (EASI_SIZE / PGDIR_SIZE));
flush_tlb_range(&vma, EASI_START, EASI_START + EASI_SIZE);
.length = EASI_SIZE,