Symbol: marvell_device_register
sys/arch/evbarm/marvell/marvell_machdep.c
131
static void marvell_device_register(device_t, void *);
sys/arch/evbarm/marvell/marvell_machdep.c
487
evbarm_device_register = marvell_device_register;