/* Sets the wake-up inputs when in backup mode.  */
void SUPC_SetWakeUpInputs(unsigned int inputs)
/* Sets the wake-up inputs when in backup mode.  */
void SUPC_SetWakeUpInputs(unsigned int inputs)
{
    SANITY_CHECK((inputs & ~0xFFFF) == 0);
    AT91C_BASE_SUPC->SUPC_WUIR &= ~0xFFFF;
    AT91C_BASE_SUPC->SUPC_WUIR |= inputs;
}