AUX_pagesz        823 kern/exec_elf.c 		a->au_id = AUX_pagesz;
AUX_pagesz        511 sys/exec_elf.h 	AUX_pagesz = 6,			/* PAGESIZE */