Searched refs:record_page_type (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 | 270 static void record_page_type(u32 pfn, int type) function 318 record_page_type(pfn, type); |
Completed in 56 milliseconds