/* This function resets the event counters in L2 Cache controller.  */
void XL2cc_EventCtrReset(void)
/* This function resets the event counters in L2 Cache controller.  */
void XL2cc_EventCtrReset(void)
{
	*((volatile u32*)(XPS_L2CC_BASEADDR + XPS_L2CC_EVNT_CNTRL_OFFSET)) = 0x6U;
}