sub_801D0A8 database modification (understanding)

[theorbtwo]

I believe sub_801d0a8 is exti_set_source -- it sets the source of external interrupt n.
void exti_set_source(int source, unsigned __int8 exti_num)
Also, a new segment should be created, SYSCFG, starting at 0x40010000 ending 0x400103FF.
The following names should be created (all dwords):

  0x4001 0000: SYSCFG_MEMRMP
  0x4001 0004: SYSCFG_PMC
  0x4001 0008: SYSCFG_EXTICR1
  0x4001 0010: SYSCFG_EXTICR2
  0x4001 0014: SYSCFG_EXTICR3
  0x4001 0018: SYSCFG_EXTICR4

A tiny bit of fiddling (the constant 0x4001008 must be made into an offset manually), and the decompilation changes to:

void __fastcall exti_set_source(int source, unsigned __int8 exti_number)
{
  SYSCFG_EXTICR1[(signed int)exti_number >> 2] &= ~(0xF << 4 * (exti_number & 3));
  SYSCFG_EXTICR1[(signed int)exti_number >> 2] |= (unsigned __int8)source << 4 * (exti_number & 3);
}