arml2cc_cache_range_op
void arml2cc_cache_range_op(paddr_t, psize_t, bus_size_t);
arml2cc_cache_range_op(pa, len, L2C_CLEAN_INV_PA);
arml2cc_cache_range_op(pa, len, L2C_INV_PA);
arml2cc_cache_range_op(pa, len, L2C_CLEAN_PA);