/* Check if the external 32k Xtal is ready.  */
uint32_t pmc_osc_is_ready_32kxtal(void)
/* Check if the external 32k Xtal is ready.  */
uint32_t pmc_osc_is_ready_32kxtal(void)
{
	return ((SUPC->SUPC_SR & SUPC_SR_OSCSEL)
			&& (PMC->PMC_SR & PMC_SR_OSCSELS));
}