/* Write a value to the specified backup register.  */
void gpbr_write(gpbr_num_t ul_reg_num, uint32_t ul_value)
/* Write a value to the specified backup register.  */
void gpbr_write(gpbr_num_t ul_reg_num, uint32_t ul_value)
{
	GPBR->SYS_GPBR[ul_reg_num] = ul_value;
}