/* Enable a module clock derived from the PBB clock.  */
void sysclk_enable_pbb_module(unsigned int index)
/* Enable a module clock derived from the PBB clock.  */
void sysclk_enable_pbb_module(unsigned int index)
{
	irqflags_t flags;
	flags = cpu_irq_save();
	if (!sysclk_pbb_refcount)
		sysclk_enable_hsb_module(SYSCLK_PBB_BRIDGE);
	sysclk_pbb_refcount++;
	cpu_irq_restore(flags);
	sysclk_priv_enable_module(AVR32_PM_CLK_GRP_PBB, index);
}