/* Stores data in the battery-backed memory of the Hibernation module. */
void HibernateDataSet(uint32_t *pui32Data, uint32_t ui32Count)
/* Stores data in the battery-backed memory of the Hibernation module. */
void HibernateDataSet(uint32_t *pui32Data, uint32_t ui32Count)
{
    uint32_t ui32Idx;
    ASSERT(ui32Count <= 64);
    ASSERT(pui32Data != 0);
    for(ui32Idx = 0; ui32Idx < ui32Count; ui32Idx++)
    {
        HWREG(HIB_DATA + (ui32Idx * 4)) = pui32Data[ui32Idx];
        _HibernateWriteComplete();
    }
}