/* We use the pgd_free hook for releasing the pgd page:  */
static void vmi_pgd_free(struct mm_struct *mm, pgd_t *pgd)
/* We use the pgd_free hook for releasing the pgd page:  */
static void vmi_pgd_free(struct mm_struct *mm, pgd_t *pgd)
{
	unsigned long pfn = __pa(pgd) >> PAGE_SHIFT;
	vmi_ops.release_page(pfn, VMI_PAGE_L2);
}