/* Disable a module clock derived from the PBB clock.  */
void sysclk_disable_pbb_module(unsigned int index)
/* Disable a module clock derived from the PBB clock.  */
void sysclk_disable_pbb_module(unsigned int index)
{
	irqflags_t flags;
	sysclk_priv_disable_module(AVR32_PM_CLK_GRP_PBB, index);
	flags = cpu_irq_save();
	sysclk_pbb_refcount--;
	if (!sysclk_pbb_refcount)
		sysclk_disable_hsb_module(SYSCLK_PBB_BRIDGE);
	cpu_irq_restore(flags);
}