Searched refs:allocate_page (Results 1 - 1 of 1) sorted by relevance
| /netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/i386/kernel/ |
| H A D | vmi.c | 66 void (*allocate_page)(u32, u32, u32, u32, u32); member in struct:__anon3499
368 vmi_ops.allocate_page(pfn, VMI_PAGE_L1, 0, 0, 0);
379 vmi_ops.allocate_page(pfn, VMI_PAGE_L2, 0, 0, 0);
386 vmi_ops.allocate_page(pfn, VMI_PAGE_L2 | VMI_PAGE_CLONE, clonepfn, start, count);
824 vmi_ops.allocate_page = vmi_get_function(VMI_CALL_AllocatePage);
825 if (vmi_ops.allocate_page) {
|
Completed in 52 milliseconds