falcon_init_l2_cache()

void falcon_init_l2_cache(paddr_t base);

Enable the L2 cache on a board with a Falcon system controller chip. The base physical address of the Falcon controller registers are given by base.