/* Enable a module clock derived from the PBB clock.  */
void sysclk_enable_pbb_module(uint32_t module_index)
/* Enable a module clock derived from the PBB clock.  */
void sysclk_enable_pbb_module(uint32_t module_index)
{
	irqflags_t flags;
	flags = cpu_irq_save();
	if (PM->PM_PBBMASK == 0) {
		sysclk_enable_hsb_module(SYSCLK_PBB_BRIDGE);
	}
	cpu_irq_restore(flags);
	sysclk_priv_enable_module(PM_CLK_GRP_PBB, module_index);
}