va_kernel_present  149 arch/nds32/mm/alignment.c extern pte_t va_kernel_present(unsigned long addr);
va_kernel_present   70 arch/nds32/mm/proc.c 		return (! !va_kernel_present(addr));
va_kernel_present   88 arch/nds32/mm/proc.c 		pte = va_kernel_present(addr);