Searched refs:VMI_PAGE_NORMAL (Results 1 - 2 of 2) sorted by relevance

/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/include/asm-i386/
H A Dvmi.h123 #define VMI_PAGE_NORMAL 0x00 /* for debugging */ macro
/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/arch/i386/kernel/
H A Dvmi.c310 if (type != VMI_PAGE_NORMAL)
313 BUG_ON(page->type == VMI_PAGE_NORMAL);
332 BUG_ON(type == VMI_PAGE_NORMAL && page->type);
392 vmi_set_page_type(pfn, VMI_PAGE_NORMAL);
398 vmi_set_page_type(pfn, VMI_PAGE_NORMAL);

Completed in 194 milliseconds