#ifdef PMAP_NEW
#include <machine/pmap.new.h>
#else
#include <machine/pmap.old.h>
#endif