Symbol: armadaxp_sdcache_wbalign_end
sys/arch/arm/marvell/armadaxp.c
1036
pa_end = armadaxp_sdcache_wbalign_end(va, pa, sz);
sys/arch/arm/marvell/armadaxp.c
119
static paddr_t armadaxp_sdcache_wbalign_end(vaddr_t, paddr_t, psize_t);