/* Disable a module clock derived from the PBA clock.  */
void sysclk_disable_pba_module(uint32_t module_index)
/* Disable a module clock derived from the PBA clock.  */
void sysclk_disable_pba_module(uint32_t module_index)
{
	irqflags_t flags;
	sysclk_priv_disable_module(PM_CLK_GRP_PBA, module_index);
	flags = cpu_irq_save();
	if (PM->PM_PBAMASK == 0) {
		sysclk_disable_hsb_module(SYSCLK_PBA_BRIDGE);
	}
	cpu_irq_restore(flags);
}