/* Check if the specified programmable clock is enabled.  */
uint32_t pmc_is_pck_enabled(uint32_t ul_id)
/* Check if the specified programmable clock is enabled.  */
uint32_t pmc_is_pck_enabled(uint32_t ul_id)
{
	if (ul_id > 2) {
		return 0;
	}
	return (PMC->PMC_SCSR & (PMC_SCSR_PCK0 << ul_id));
}