NetBSD/sys/arch/evbppc/include/tlb.h

/*	$NetBSD: tlb.h,v 1.1 2002/12/09 12:16:18 scw Exp $	*/

#ifdef _KERNEL_OPT
#include "opt_ppcarch.h"
#endif

#ifdef PPC_IBM4XX
#include <powerpc/ibm4xx/tlb.h>

#define	ppc4xx_tlbflags(va, pa)        (0)
#endif