user: What is the c source code of the assembly code below:

```asm
<jenkins_hash_byte_ori>:
  endbr64
  mov    %rdi,%rcx
  mov    %edx,%r9d
  cmp    $0xb,%esi
  jle    L5
  mov    %esi,%edi
  mov    $0x9e3779b9,%r10d
  mov    $0x9e3779b9,%r11d
  nopl   0x0(%rax)
L3:
  movsbl 0x1(%rcx),%r8d
  movsbl (%rcx),%eax
  movsbl 0x5(%rcx),%edx
  shl    $0x8,%r8d
  add    %eax,%r8d
  movsbl 0x2(%rcx),%eax
  shl    $0x8,%edx
  shl    $0x10,%eax
  add    %eax,%r8d
  movsbl 0x3(%rcx),%eax
  shl    $0x18,%eax
  add    %eax,%r8d
  movsbl 0x4(%rcx),%eax
  add    %r11d,%r8d
  add    %eax,%edx
  movsbl 0x6(%rcx),%eax
  shl    $0x10,%eax
  add    %eax,%edx
  movsbl 0x7(%rcx),%eax
  shl    $0x18,%eax
  add    %eax,%edx
  movsbl 0x9(%rcx),%eax
  add    %r10d,%edx
  movsbl 0x8(%rcx),%r10d
  shl    $0x8,%eax
  sub    %edx,%r8d
  add    %r10d,%eax
  movsbl 0xa(%rcx),%r10d
  shl    $0x10,%r10d
  add    %r10d,%eax
  movsbl 0xb(%rcx),%r10d
  shl    $0x18,%r10d
  add    %r10d,%eax
  add    %r9d,%eax
  mov    %eax,%r9d
  sub    %eax,%r8d
  sub    %eax,%edx
  sar    $0xd,%r9d
  xor    %r8d,%r9d
  sub    %r9d,%edx
  sub    %r9d,%eax
  mov    %edx,%r8d
  mov    %r9d,%edx
  shl    $0x8,%edx
  xor    %r8d,%edx
  mov    %edx,%r8d
  sub    %edx,%eax
  sar    $0xd,%r8d
  xor    %r8d,%eax
  sub    %edx,%r9d
  sub    $0xc,%edi
  add    $0xc,%rcx
  mov    %eax,%r8d
  sub    %eax,%r9d
  sub    %eax,%edx
  sar    $0xc,%r8d
  xor    %r9d,%r8d
  sub    %r8d,%edx
  sub    %r8d,%eax
  mov    %edx,%r9d
  mov    %r8d,%edx
  shl    $0x10,%edx
  xor    %r9d,%edx
  sub    %edx,%eax
  sub    %edx,%r8d
  mov    %eax,%r9d
  mov    %edx,%eax
  sar    $0x5,%eax
  xor    %r9d,%eax
  mov    %eax,%r11d
  sub    %eax,%r8d
  sub    %eax,%edx
  sar    $0x3,%r11d
  xor    %r8d,%r11d
  mov    %r11d,%r10d
  sub    %r11d,%edx
  sub    %r11d,%eax
  shl    $0xa,%r10d
  xor    %edx,%r10d
  mov    %r10d,%r9d
  sub    %r10d,%eax
  sar    $0xf,%r9d
  xor    %eax,%r9d
  cmp    $0xb,%edi
  jg     L3
L33:
  add    %esi,%r9d
  cmp    $0xb,%edi
  ja     L11
  lea    D5(%rip),%rdx
  movslq (%rdx,%rdi,4),%rax
  add    %rdx,%rax
  notrack jmp *%rax
  nopl   0x0(%rax,%rax,1)
  movsbl 0xa(%rcx),%eax
  shl    $0x18,%eax
  add    %eax,%r9d
  movsbl 0x9(%rcx),%eax
  shl    $0x10,%eax
  add    %eax,%r9d
  movsbl 0x8(%rcx),%eax
  shl    $0x8,%eax
  add    %eax,%r9d
  movsbl 0x7(%rcx),%eax
  shl    $0x18,%eax
  add    %eax,%r10d
  movsbl 0x6(%rcx),%eax
  shl    $0x10,%eax
  add    %eax,%r10d
  movsbl 0x5(%rcx),%eax
  shl    $0x8,%eax
  add    %eax,%r10d
  movsbl 0x4(%rcx),%eax
  add    %eax,%r10d
  movsbl 0x3(%rcx),%eax
  shl    $0x18,%eax
  add    %eax,%r11d
  movsbl 0x2(%rcx),%eax
  shl    $0x10,%eax
  add    %eax,%r11d
  movsbl 0x1(%rcx),%eax
  shl    $0x8,%eax
  add    %eax,%r11d
  movsbl (%rcx),%eax
  add    %eax,%r11d
L11:
  sub    %r10d,%r11d
  mov    %r9d,%edx
  sub    %r9d,%r10d
  sub    %r9d,%r11d
  sar    $0xd,%edx
  xor    %r11d,%edx
  mov    %edx,%eax
  sub    %edx,%r10d
  sub    %edx,%r9d
  shl    $0x8,%eax
  mov    %r9d,%ecx
  xor    %r10d,%eax
  mov    %eax,%r9d
  sub    %eax,%ecx
  sub    %eax,%edx
  sar    $0xd,%r9d
  xor    %ecx,%r9d
  mov    %r9d,%ecx
  sub    %r9d,%edx
  sub    %r9d,%eax
  sar    $0xc,%ecx
  xor    %edx,%ecx
  sub    %ecx,%eax
  sub    %ecx,%r9d
  mov    %eax,%edx
  mov    %ecx,%eax
  shl    $0x10,%eax
  xor    %edx,%eax
  mov    %eax,%edx
  sub    %eax,%r9d
  sub    %eax,%ecx
  sar    $0x5,%edx
  xor    %r9d,%edx
  mov    %edx,%esi
  sub    %edx,%ecx
  sub    %edx,%eax
  sar    $0x3,%esi
  xor    %ecx,%esi
  mov    %esi,%ecx
  sub    %esi,%eax
  shl    $0xa,%ecx
  xor    %ecx,%eax
  sub    %esi,%edx
  sub    %eax,%edx
  sar    $0xf,%eax
  xor    %edx,%eax
  ret
  nopw   0x0(%rax,%rax,1)
L5:
  mov    %esi,%edi
  mov    $0x9e3779b9,%r10d
  mov    $0x9e3779b9,%r11d
  jmp    L33
```

assistant: ```c
uint32_t jenkins_hash_byte_ori(char *k, uint32_t len, uint32_t initval) {
  uint32_t a, b, c, n;
  a = b = 0x9e3779b9;
  c = initval;
  n = len;
  while (n >= 12) {
    a += (k[0] + ((uint32_t)k[1] << 8) + ((uint32_t)k[2] << 16) + ((uint32_t)k[3] << 24));
    b += (k[4] + ((uint32_t)k[5] << 8) + ((uint32_t)k[6] << 16) + ((uint32_t)k[7] << 24));
    c += (k[8] + ((uint32_t)k[9] << 8) + ((uint32_t)k[10] << 16) + ((uint32_t)k[11] << 24));
    {
      a -= b;
      a -= c;
      a ^= (c >> 13);
      b -= c;
      b -= a;
      b ^= (a << 8);
      c -= a;
      c -= b;
      c ^= (b >> 13);
      a -= b;
      a -= c;
      a ^= (c >> 12);
      b -= c;
      b -= a;
      b ^= (a << 16);
      c -= a;
      c -= b;
      c ^= (b >> 5);
      a -= b;
      a -= c;
      a ^= (c >> 3);
      b -= c;
      b -= a;
      b ^= (a << 10);
      c -= a;
      c -= b;
      c ^= (b >> 15);
    };
    k += 12;
    n -= 12;
  }
  c += len;
  switch (n) {
  case 11:
    c += ((uint32_t)k[10] << 24);
  case 10:
    c += ((uint32_t)k[9] << 16);
  case 9:
    c += ((uint32_t)k[8] << 8);
  case 8:
    b += ((uint32_t)k[7] << 24);
  case 7:
    b += ((uint32_t)k[6] << 16);
  case 6:
    b += ((uint32_t)k[5] << 8);
  case 5:
    b += k[4];
  case 4:
    a += ((uint32_t)k[3] << 24);
  case 3:
    a += ((uint32_t)k[2] << 16);
  case 2:
    a += ((uint32_t)k[1] << 8);
  case 1:
    a += k[0];
  }
  {
    a -= b;
    a -= c;
    a ^= (c >> 13);
    b -= c;
    b -= a;
    b ^= (a << 8);
    c -= a;
    c -= b;
    c ^= (b >> 13);
    a -= b;
    a -= c;
    a ^= (c >> 12);
    b -= c;
    b -= a;
    b ^= (a << 16);
    c -= a;
    c -= b;
    c ^= (b >> 5);
    a -= b;
    a -= c;
    a ^= (c >> 3);
    b -= c;
    b -= a;
    b ^= (a << 10);
    c -= a;
    c -= b;
    c ^= (b >> 15);
  };
  return c;
}
```