Symbol: armadaxp_sdcache_wbalign_base
sys/arch/arm/marvell/armadaxp.c
1035
pa_base = armadaxp_sdcache_wbalign_base(va, pa, sz);
sys/arch/arm/marvell/armadaxp.c
118
static paddr_t armadaxp_sdcache_wbalign_base(vaddr_t, paddr_t, psize_t);