Symbol: MAXADDR
sys/arch/hp300/include/cpu.h
87
#define MAXADDR ((paddr_t)(0 - NBPG))
sys/arch/news68k/include/cpu.h
110
#define MAXADDR 0xfffff000