/* Reads user data from the specified Data Backup Register.  */
uint16_t BAKPR_ReadBackupRegister(BAKPR_DATA_T bakrData)
/* Reads user data from the specified Data Backup Register.  */
uint16_t BAKPR_ReadBackupRegister(BAKPR_DATA_T bakrData)
{
    __IOM uint32_t tmp = 0;
    tmp = (uint32_t)BAKPR_BASE;
    tmp += bakrData;
    return (*(__IOM uint32_t *) tmp);
}