VMI_PAGE_L1       398 arch/x86/kernel/vmi_32.c 	vmi_set_page_type(pfn, VMI_PAGE_L1);
VMI_PAGE_L1       399 arch/x86/kernel/vmi_32.c 	vmi_ops.allocate_page(pfn, VMI_PAGE_L1, 0, 0, 0);
VMI_PAGE_L1       422 arch/x86/kernel/vmi_32.c 	vmi_ops.release_page(pfn, VMI_PAGE_L1);