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

```asm
<set_pmu_init>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    $0x9,%edx
  mov    $0x51,%esi
  mov    $0x6,%edi
  call   <mbus_remote_register_write@plt>
  mov    $0x64,%edi
  call   <delay@plt>
  mov    $0x9,%edx
  mov    $0x51,%esi
  mov    $0x6,%edi
  call   <mbus_remote_register_write@plt>
  mov    $0x64,%edi
  call   <delay@plt>
  mov    $0x210,%edx
  mov    $0xe,%esi
  mov    $0x6,%edi
  call   <mbus_remote_register_write@plt>
  mov    $0x64,%edi
  call   <delay@plt>
  mov    $0xe204,%edx
  mov    $0x17,%esi
  mov    $0x6,%edi
  call   <mbus_remote_register_write@plt>
  mov    $0x64,%edi
  call   <delay@plt>
  mov    $0x2221,%edx
  mov    $0x19,%esi
  mov    $0x6,%edi
  call   <mbus_remote_register_write@plt>
  mov    $0x64,%edi
  call   <delay@plt>
  mov    $0xe226,%edx
  mov    $0x15,%esi
  mov    $0x6,%edi
  call   <mbus_remote_register_write@plt>
  mov    $0x64,%edi
  call   <delay@plt>
  mov    $0xe24a,%edx
  mov    $0x18,%esi
  mov    $0x6,%edi
  call   <mbus_remote_register_write@plt>
  mov    $0x64,%edi
  call   <delay@plt>
  mov    $0x3088,%edx
  mov    $0x1a,%esi
  mov    $0x6,%edi
  call   <mbus_remote_register_write@plt>
  mov    $0x64,%edi
  call   <delay@plt>
  mov    $0xf10f,%edx
  mov    $0x16,%esi
  mov    $0x6,%edi
  call   <mbus_remote_register_write@plt>
  mov    $0x64,%edi
  call   <delay@plt>
  mov    $0x82c,%edx
  mov    $0x5,%esi
  mov    $0x6,%edi
  call   <mbus_remote_register_write@plt>
  mov    $0x64,%edi
  call   <delay@plt>
  mov    $0xaac,%edx
  mov    $0x5,%esi
  mov    $0x6,%edi
  call   <mbus_remote_register_write@plt>
  mov    $0x64,%edi
  call   <delay@plt>
  mov    $0x1,%edx
  mov    $0x36,%esi
  mov    $0x6,%edi
  call   <mbus_remote_register_write@plt>
  mov    $0x64,%edi
  call   <delay@plt>
  nop
  pop    %rbp
  ret
```

assistant: ```c
void set_pmu_init() {
  mbus_remote_register_write(0x6, 0x51, 0x09);
  delay(100);
  mbus_remote_register_write(0x6, 0x51, 0x09);
  delay(100);
  mbus_remote_register_write(0x6, 0x0E, ((0 << 10) | (1 << 9) | (0 << 8) | (1 << 4) | (0)));
  delay(100);
  mbus_remote_register_write(0x6, 0x17, ((3 << 14) | (1 << 13) | (1 << 9) | (0 << 5) | (4)));
  delay(100);
  mbus_remote_register_write(0x6, 0x19, ((1 << 13) | (1 << 9) | (1 << 5) | (1)));
  delay(100);
  mbus_remote_register_write(0x6, 0x15, ((0 << 19) | (0 << 18) | (0 << 17) | (3 << 14) | (1 << 13) | (1 << 9) | (1 << 5) | (6)));
  delay(100);
  mbus_remote_register_write(0x6, 0x18, ((3 << 14) | (1 << 13) | (1 << 9) | (2 << 5) | (10)));
  delay(100);
  mbus_remote_register_write(0x6, 0x1A, ((1 << 13) | (8 << 9) | (4 << 5) | (8)));
  delay(100);
  mbus_remote_register_write(0x6, 0x16, ((0 << 19) | (0 << 18) | (0 << 17) | (3 << 14) | (1 << 13) | (8 << 9) | (8 << 5) | (15)));
  delay(100);
  mbus_remote_register_write(0x6, 0x05, ((0 << 13) | (0 << 12) | (1 << 11) | (0 << 10) | (0 << 9) | (0 << 8) | (0 << 7) | (44)));
  delay(100);
  mbus_remote_register_write(0x6, 0x05, ((0 << 13) | (0 << 12) | (1 << 11) | (0 << 10) | (1 << 9) | (0 << 8) | (1 << 7) | (44)));
  delay(100);
  mbus_remote_register_write(0x6, 0x36, 0x000001);
  delay(100);
}
```