Symbol: dumppages
sys/arch/hpcarm/hpcarm/hpc_machdep.c
115
void dumppages(char *, int);
sys/arch/hpcarm/hpcarm/sa11x0_hpc_machdep.c
136
void dumppages(char *, int);
sys/arch/hpcarm/hpcarm/sa11x0_hpc_machdep.c
526
dumppages((char *)0xc0000000, 16 * PAGE_SIZE);
sys/arch/hpcarm/hpcarm/sa11x0_hpc_machdep.c
527
dumppages((char *)0xb0100000, 64); /* XXX */
sys/arch/hpcarm/hpcarm/sa11x0_hpc_machdep.c
565
dumppages((char *)kernel_l1pt.pv_va, 16);