user: Converte this assembly snippet into its equivalent C code:

```asm
<ms_emi>:
  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     L62
  movzbl %r12b,%r12d
  lea    D31(%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    D39(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
L62:
  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    D88(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  jmp    L62
  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    D7(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  jmp    L62
  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    D22(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x10,%rsp
  jmp    L62
  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    D41(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x10,%rsp
  jmp    L62
  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    D90(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x20,%rsp
  jmp    L62
  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    D77(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x20,%rsp
  jmp    L62
  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    D92(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x30,%rsp
  jmp    L62
  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    D97(%rip),%rdi
  mov    $0x0,%eax
  call   <trace_printk@plt>
  add    $0x30,%rsp
  jmp    L62
```

tool_calls: name: disassemble_data
arguments: data_label: D39
type_guessed: string
name: disassemble_data
arguments: data_label: D88
type_guessed: string
name: disassemble_data
arguments: data_label: D7
type_guessed: string
name: disassemble_data
arguments: data_label: D22
type_guessed: string
name: disassemble_data
arguments: data_label: D41
type_guessed: string
name: disassemble_data
arguments: data_label: D90
type_guessed: string
name: disassemble_data
arguments: data_label: D77
type_guessed: string
name: disassemble_data
arguments: data_label: D92
type_guessed: string
name: disassemble_data
arguments: data_label: D97
type_guessed: string

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


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


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


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


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


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


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


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


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


assistant: ```c
void ms_emi(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;
  }
}
```