get_cachesize_cp15
csid = get_cachesize_cp15(level << 1); /* select dcache values */
csid = get_cachesize_cp15((level << 1)|CPU_CSSR_InD); /* select icache values */
