user: What would the C source look like for the assembly code provided here:

```asm
<GPIOPadConfigSet>:
  endbr64
  mov    %rdx,%r8
  movzbl %sil,%edx
  mov    %rdi,%rax
  mov    %rcx,%rdi
  not    %edx
  movslq %edx,%rdx
  test   $0x1,%r8b
  je     L25
  mov    0x500(%rax),%r9
  movzbl %sil,%ecx
  or     %r9,%rcx
  mov    %rcx,0x500(%rax)
  test   $0x2,%r8b
  je     L56
L115:
  mov    0x504(%rax),%r9
  movzbl %sil,%ecx
  or     %r9,%rcx
  mov    %rcx,0x504(%rax)
  test   $0x4,%r8b
  je     L151
L52:
  mov    0x508(%rax),%r9
  movzbl %sil,%ecx
  or     %r9,%rcx
  and    $0x8,%r8d
  mov    %rcx,0x508(%rax)
  je     L38
L37:
  mov    0x518(%rax),%r8
  movzbl %sil,%ecx
  or     %r8,%rcx
  mov    %rcx,0x518(%rax)
  test   $0x1,%dil
  je     L175
L24:
  mov    0x50c(%rax),%r8
  movzbl %sil,%ecx
  or     %r8,%rcx
  mov    %rcx,0x50c(%rax)
  test   $0x2,%dil
  je     L130
L35:
  mov    0x510(%rax),%r8
  movzbl %sil,%ecx
  or     %r8,%rcx
  mov    %rcx,0x510(%rax)
  test   $0x4,%dil
  je     L58
L57:
  mov    0x514(%rax),%r8
  movzbl %sil,%ecx
  lea    0x51c(%rax),%r9
  mov    %r8,%rsi
  lea    0x528(%rax),%r8
  or     %rcx,%rsi
  and    $0x8,%edi
  mov    %rsi,0x514(%rax)
  je     L129
L23:
  mov    (%r9),%rax
  or     %rax,%rcx
  mov    %rcx,(%r9)
L46:
  mov    (%r8),%rsi
  and    %rdx,%rsi
  mov    %rsi,(%r8)
  ret
  nopl   0x0(%rax)
L25:
  mov    0x500(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x500(%rax)
  test   $0x2,%r8b
  jne    L115
L56:
  mov    0x504(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x504(%rax)
  test   $0x4,%r8b
  jne    L52
L151:
  mov    0x508(%rax),%rcx
  and    %rdx,%rcx
  and    $0x8,%r8d
  mov    %rcx,0x508(%rax)
  jne    L37
L38:
  mov    0x518(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x518(%rax)
  test   $0x1,%dil
  jne    L24
L175:
  mov    0x50c(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x50c(%rax)
  test   $0x2,%dil
  jne    L35
L130:
  mov    0x510(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x510(%rax)
  test   $0x4,%dil
  jne    L57
L58:
  mov    0x514(%rax),%rcx
  lea    0x51c(%rax),%r9
  lea    0x528(%rax),%r8
  and    %rdx,%rcx
  mov    %rcx,0x514(%rax)
  test   $0x8,%dil
  jne    L70
  mov    0x51c(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x51c(%rax)
  test   %rdi,%rdi
  jne    L46
  mov    0x528(%rax),%rax
  movzbl %sil,%esi
  or     %rax,%rsi
  mov    %rsi,(%r8)
  ret
L129:
  mov    0x51c(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x51c(%rax)
  jmp    L46
L70:
  movzbl %sil,%ecx
  jmp    L23
```

assistant: ```c
void GPIOPadConfigSet(unsigned long ulPort, unsigned char ucPins, unsigned long ulStrength, unsigned long ulPinType) {
  ;

  ;

  ;
  (*((volatile unsigned long *)(ulPort + 0x00000500))) = ((ulStrength & 1) ? ((*((volatile unsigned long *)(ulPort + 0x00000500))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000500))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x00000504))) = ((ulStrength & 2) ? ((*((volatile unsigned long *)(ulPort + 0x00000504))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000504))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x00000508))) = ((ulStrength & 4) ? ((*((volatile unsigned long *)(ulPort + 0x00000508))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000508))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x00000518))) = ((ulStrength & 8) ? ((*((volatile unsigned long *)(ulPort + 0x00000518))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000518))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x0000050C))) = ((ulPinType & 1) ? ((*((volatile unsigned long *)(ulPort + 0x0000050C))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x0000050C))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x00000510))) = ((ulPinType & 2) ? ((*((volatile unsigned long *)(ulPort + 0x00000510))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000510))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x00000514))) = ((ulPinType & 4) ? ((*((volatile unsigned long *)(ulPort + 0x00000514))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000514))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x0000051C))) = ((ulPinType & 8) ? ((*((volatile unsigned long *)(ulPort + 0x0000051C))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x0000051C))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x00000528))) = ((ulPinType == 0x00000000) ? ((*((volatile unsigned long *)(ulPort + 0x00000528))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000528))) & ~(ucPins)));
}
```