/* Disable clock of given device. 
This disables (ungates) the clock for the given device.  */
void ccm_clock_gate_disable(enum ccm_clock_gate gr)
/* Disable clock of given device. 
This disables (ungates) the clock for the given device.  */
void ccm_clock_gate_disable(enum ccm_clock_gate gr)
{
	uint32_t offset = (uint32_t)gr / 16;
	uint32_t gr_mask = 0x3 << ((gr % 16) * 2);
	CCM_CCGR(offset * 4) &= ~gr_mask;
}