avail_end2        775 arch/i386/i386/pmapae.c 	extern paddr_t avail_end, avail_end2;
avail_end2        784 arch/i386/i386/pmapae.c 	if (!cpu_pae || avail_end >= avail_end2 || !(cpu_feature & CPUID_PAE)){
avail_end2        785 arch/i386/i386/pmapae.c 		avail_end2 = avail_end;