Symbol: initarm
sys/arch/aarch64/include/machdep.h
75
vaddr_t initarm(void *);
sys/arch/arm/include/arm32/machdep.h
73
vaddr_t initarm(void *);
sys/arch/hpcarm/hpcarm/hpc_machdep.c
106
vaddr_t initarm(int, char **, struct bootinfo *);