arml2cc_cache_range_op
arml2cc_cache_range_op(pa, len, L2C_INV_PA);
arml2cc_cache_range_op(pa, len, L2C_CLEAN_PA);
arml2cc_cache_range_op(pa, len, L2C_CLEAN_INV_PA);