user: Please show me the C implementation that matches the assembly code listed below:

```asm
<mp_2pr>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r12
  push   %rbx
  sub    $0x30,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %esi,%eax
  mov    %rdx,-0x38(%rbp)
  mov    %al,-0x2c(%rbp)
  mov    -0x28(%rbp),%rax
  mov    $0x3b9aca00,%esi
  mov    %rax,%rdi
  call   <do_div@plt>
  mov    %rax,-0x18(%rbp)
  movzbl -0x2c(%rbp),%eax
  cmp    $0x9,%eax
  ja     L4
  mov    %eax,%eax
  lea    0x0(,%rax,4),%rdx
  lea    D81(%rip),%rax
  mov    (%rdx,%rax,1),%eax
  cltq
  lea    D81(%rip),%rdx
  add    %rdx,%rax
  notrack jmp *%rax
  mov    -0x38(%rbp),%rax
  mov    (%rax),%ecx
  mov    -0x18(%rbp),%rax
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    -0x28(%rbp),%rax
  mov    %rax,%rsi
  lea    D83(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  jmp    L4
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%esi
  mov    -0x38(%rbp),%rax
  mov    (%rax),%ecx
  mov    -0x18(%rbp),%rax
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    -0x28(%rbp),%rax
  mov    %esi,%r8d
  mov    %rax,%rsi
  lea    D55(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  jmp    L4
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%edi
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%esi
  mov    -0x38(%rbp),%rax
  mov    (%rax),%ecx
  mov    -0x18(%rbp),%rax
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    -0x28(%rbp),%rax
  mov    %edi,%r9d
  mov    %esi,%r8d
  mov    %rax,%rsi
  lea    D109(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  jmp    L4
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%esi
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%r8d
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edi
  mov    -0x38(%rbp),%rax
  mov    (%rax),%ecx
  mov    -0x18(%rbp),%rax
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    -0x28(%rbp),%rax
  sub    $0x8,%rsp
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %rax,%rsi
  lea    D17(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x10,%rsp
  jmp    L4
  mov    -0x38(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%edi
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%esi
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%r9d
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%r8d
  mov    -0x38(%rbp),%rax
  mov    (%rax),%ecx
  mov    -0x18(%rbp),%rax
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    -0x28(%rbp),%rax
  push   %rdi
  push   %rsi
  mov    %rax,%rsi
  lea    D35(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x10,%rsp
  jmp    L4
  mov    -0x38(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%r8d
  mov    -0x38(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%edi
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%esi
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%r9d
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%r10d
  mov    -0x38(%rbp),%rax
  mov    (%rax),%ecx
  mov    -0x18(%rbp),%rax
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    -0x28(%rbp),%rax
  sub    $0x8,%rsp
  push   %r8
  push   %rdi
  push   %rsi
  mov    %r10d,%r8d
  mov    %rax,%rsi
  lea    D27(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x20,%rsp
  jmp    L4
  mov    -0x38(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%r9d
  mov    -0x38(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%r8d
  mov    -0x38(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%edi
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%esi
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%r11d
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%r10d
  mov    -0x38(%rbp),%rax
  mov    (%rax),%ecx
  mov    -0x18(%rbp),%rax
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    -0x28(%rbp),%rax
  push   %r9
  push   %r8
  push   %rdi
  push   %rsi
  mov    %r11d,%r9d
  mov    %r10d,%r8d
  mov    %rax,%rsi
  lea    D23(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x20,%rsp
  jmp    L4
  mov    -0x38(%rbp),%rax
  add    $0x1c,%rax
  mov    (%rax),%r10d
  mov    -0x38(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%r9d
  mov    -0x38(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%r8d
  mov    -0x38(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%edi
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%esi
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%ebx
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%r11d
  mov    -0x38(%rbp),%rax
  mov    (%rax),%ecx
  mov    -0x18(%rbp),%rax
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    -0x28(%rbp),%rax
  sub    $0x8,%rsp
  push   %r10
  push   %r9
  push   %r8
  push   %rdi
  push   %rsi
  mov    %ebx,%r9d
  mov    %r11d,%r8d
  mov    %rax,%rsi
  lea    D108(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x30,%rsp
  jmp    L4
  mov    -0x38(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%r11d
  mov    -0x38(%rbp),%rax
  add    $0x1c,%rax
  mov    (%rax),%r10d
  mov    -0x38(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%r9d
  mov    -0x38(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%r8d
  mov    -0x38(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%edi
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%esi
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%r12d
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%ebx
  mov    -0x38(%rbp),%rax
  mov    (%rax),%ecx
  mov    -0x18(%rbp),%rax
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    -0x28(%rbp),%rax
  push   %r11
  push   %r10
  push   %r9
  push   %r8
  push   %rdi
  push   %rsi
  mov    %r12d,%r9d
  mov    %ebx,%r8d
  mov    %rax,%rsi
  lea    D24(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x30,%rsp
  nop
L4:
  nop
  lea    -0x10(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %rbp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D83
type_guessed: string
name: extract_symbolic_data
arguments: label: D55
type_guessed: string
name: extract_symbolic_data
arguments: label: D109
type_guessed: string
name: extract_symbolic_data
arguments: label: D17
type_guessed: string
name: extract_symbolic_data
arguments: label: D35
type_guessed: string
name: extract_symbolic_data
arguments: label: D27
type_guessed: string
name: extract_symbolic_data
arguments: label: D23
type_guessed: string
name: extract_symbolic_data
arguments: label: D108
type_guessed: string
name: extract_symbolic_data
arguments: label: D24
type_guessed: string

tool: D83: %5lu.%06lu,%x


tool: D55: %5lu.%06lu,%x,%x


tool: D109: %5lu.%06lu,%x,%x,%x


tool: D17: %5lu.%06lu,%x,%x,%x,%x


tool: D35: %5lu.%06lu,%x,%x,%x,%x,%x


tool: D27: %5lu.%06lu,%x,%x,%x,%x,%x,%x


tool: D23: %5lu.%06lu,%x,%x,%x,%x,%x,%x,%x


tool: D108: %5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x


tool: D24: %5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x


assistant: ```c
void mp_2pr(unsigned long long timestamp, unsigned char cnt, unsigned int *value) {
  unsigned long nano_rem = do_div(timestamp, 1000000000);
  switch (cnt) {
  case 1:
    trace_printk("%5lu.%06lu"
                 ",%x\n",
                 (unsigned long)(timestamp), nano_rem / 1000, value[0]);
    break;
  case 2:
    trace_printk("%5lu.%06lu"
                 ",%x,%x\n",
                 (unsigned long)(timestamp), nano_rem / 1000, value[0], value[1]);
    break;
  case 3:
    trace_printk("%5lu.%06lu"
                 ",%x,%x,%x\n",
                 (unsigned long)(timestamp), nano_rem / 1000, value[0], value[1], value[2]);
    break;
  case 4:
    trace_printk("%5lu.%06lu"
                 ",%x,%x,%x,%x\n",
                 (unsigned long)(timestamp), nano_rem / 1000, value[0], value[1], value[2], value[3]);
    break;
  case 5:
    trace_printk("%5lu.%06lu"
                 ",%x,%x,%x,%x,%x\n",
                 (unsigned long)(timestamp), nano_rem / 1000, value[0], value[1], value[2], value[3], value[4]);
    break;
  case 6:
    trace_printk("%5lu.%06lu"
                 ",%x,%x,%x,%x,%x,%x\n",
                 (unsigned long)(timestamp), nano_rem / 1000, value[0], value[1], value[2], value[3], value[4], value[5]);
    break;
  case 7:
    trace_printk("%5lu.%06lu"
                 ",%x,%x,%x,%x,%x,%x,%x\n",
                 (unsigned long)(timestamp), nano_rem / 1000, value[0], value[1], value[2], value[3], value[4], value[5], value[6]);
    break;
  case 8:
    trace_printk("%5lu.%06lu"
                 ",%x,%x,%x,%x,%x,%x,%x,%x\n",
                 (unsigned long)(timestamp), nano_rem / 1000, value[0], value[1], value[2], value[3], value[4], value[5], value[6], value[7]);
    break;
  case 9:
    trace_printk("%5lu.%06lu"
                 ",%x,%x,%x,%x,%x,%x,%x,%x,%x\n",
                 (unsigned long)(timestamp), nano_rem / 1000, value[0], value[1], value[2], value[3], value[4], value[5], value[6], value[7], value[8]);
    break;
  }
}
```