/* Enable or disable write protect of PMC registers.  */
void pmc_set_writeprotect(uint32_t ul_enable)
/* Enable or disable write protect of PMC registers.  */
void pmc_set_writeprotect(uint32_t ul_enable)
{
	if (ul_enable) {
		PMC->PMC_WPMR = PMC_WPMR_WPKEY_PASSWD | PMC_WPMR_WPEN;
	} else {
		PMC->PMC_WPMR = PMC_WPMR_WPKEY_PASSWD;
	}
}