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

```asm
<mp_2pr>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rdi,%rbp
  mov    %esi,%r12d
  mov    %rdx,%rbx
  mov    $0x3b9aca00,%esi
  call   <do_div@plt>
  cmp    $0x9,%r12b
  ja     L65
  movzbl %r12b,%r12d
  lea    D73(%rip),%rcx
  movslq (%rcx,%r12,4),%rdx
  add    %rcx,%rdx
  notrack jmp *%rdx
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    (%rbx),%ecx
  mov    %rbp,%rsi
  lea    D85(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
L65:
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    0x4(%rbx),%r8d
  mov    (%rbx),%ecx
  mov    %rbp,%rsi
  lea    D37(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  jmp    L65
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    0x8(%rbx),%r9d
  mov    0x4(%rbx),%r8d
  mov    (%rbx),%ecx
  mov    %rbp,%rsi
  lea    D59(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  jmp    L65
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  sub    $0x8,%rsp
  mov    0xc(%rbx),%eax
  push   %rax
  mov    0x8(%rbx),%r9d
  mov    0x4(%rbx),%r8d
  mov    (%rbx),%ecx
  mov    %rbp,%rsi
  lea    D41(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x10,%rsp
  jmp    L65
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    0x10(%rbx),%eax
  push   %rax
  mov    0xc(%rbx),%eax
  push   %rax
  mov    0x8(%rbx),%r9d
  mov    0x4(%rbx),%r8d
  mov    (%rbx),%ecx
  mov    %rbp,%rsi
  lea    D77(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x10,%rsp
  jmp    L65
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  sub    $0x8,%rsp
  mov    0x14(%rbx),%eax
  push   %rax
  mov    0x10(%rbx),%eax
  push   %rax
  mov    0xc(%rbx),%eax
  push   %rax
  mov    0x8(%rbx),%r9d
  mov    0x4(%rbx),%r8d
  mov    (%rbx),%ecx
  mov    %rbp,%rsi
  lea    D62(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x20,%rsp
  jmp    L65
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    0x18(%rbx),%eax
  push   %rax
  mov    0x14(%rbx),%eax
  push   %rax
  mov    0x10(%rbx),%eax
  push   %rax
  mov    0xc(%rbx),%eax
  push   %rax
  mov    0x8(%rbx),%r9d
  mov    0x4(%rbx),%r8d
  mov    (%rbx),%ecx
  mov    %rbp,%rsi
  lea    D36(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x20,%rsp
  jmp    L65
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  sub    $0x8,%rsp
  mov    0x1c(%rbx),%eax
  push   %rax
  mov    0x18(%rbx),%eax
  push   %rax
  mov    0x14(%rbx),%eax
  push   %rax
  mov    0x10(%rbx),%eax
  push   %rax
  mov    0xc(%rbx),%eax
  push   %rax
  mov    0x8(%rbx),%r9d
  mov    0x4(%rbx),%r8d
  mov    (%rbx),%ecx
  mov    %rbp,%rsi
  lea    D91(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x30,%rsp
  jmp    L65
  shr    $0x3,%rax
  movabs $0x20c49ba5e353f7cf,%rdx
  mul    %rdx
  shr    $0x4,%rdx
  mov    0x20(%rbx),%eax
  push   %rax
  mov    0x1c(%rbx),%eax
  push   %rax
  mov    0x18(%rbx),%eax
  push   %rax
  mov    0x14(%rbx),%eax
  push   %rax
  mov    0x10(%rbx),%eax
  push   %rax
  mov    0xc(%rbx),%eax
  push   %rax
  mov    0x8(%rbx),%r9d
  mov    0x4(%rbx),%r8d
  mov    (%rbx),%ecx
  mov    %rbp,%rsi
  lea    D55(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x30,%rsp
  jmp    L65
```

tool_calls: name: extract_symbolic_data
arguments: tag: D85
type_infered: string
name: extract_symbolic_data
arguments: tag: D37
type_infered: string
name: extract_symbolic_data
arguments: tag: D59
type_infered: string
name: extract_symbolic_data
arguments: tag: D41
type_infered: string
name: extract_symbolic_data
arguments: tag: D77
type_infered: string
name: extract_symbolic_data
arguments: tag: D62
type_infered: string
name: extract_symbolic_data
arguments: tag: D36
type_infered: string
name: extract_symbolic_data
arguments: tag: D91
type_infered: string
name: extract_symbolic_data
arguments: tag: D55
type_infered: string

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


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


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


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


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


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


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


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


tool: D55: %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;
  }
}
```