Symbol: marvell_startend_by_tag
sys/arch/evbarm/armadaxp/armadaxp_machdep.c
463
marvell_startend_by_tag(int tag, uint64_t *start, uint64_t *end)
sys/arch/evbarm/marvell/marvell_machdep.c
838
marvell_startend_by_tag(int tag, uint64_t *start, uint64_t *end)