VMI_PAGE_L2       409 arch/x86/kernel/vmi_32.c  	vmi_set_page_type(pfn, VMI_PAGE_L2);
VMI_PAGE_L2       410 arch/x86/kernel/vmi_32.c 	vmi_ops.allocate_page(pfn, VMI_PAGE_L2, 0, 0, 0);
VMI_PAGE_L2       415 arch/x86/kernel/vmi_32.c  	vmi_set_page_type(pfn, VMI_PAGE_L2 | VMI_PAGE_CLONE);
VMI_PAGE_L2       416 arch/x86/kernel/vmi_32.c 	vmi_check_page_type(clonepfn, VMI_PAGE_L2);
VMI_PAGE_L2       417 arch/x86/kernel/vmi_32.c 	vmi_ops.allocate_page(pfn, VMI_PAGE_L2 | VMI_PAGE_CLONE, clonepfn, start, count);
VMI_PAGE_L2       428 arch/x86/kernel/vmi_32.c 	vmi_ops.release_page(pfn, VMI_PAGE_L2);