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

```asm
<print_mk_devcfg1>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x10,%rsp
  mov    %rdi,-0x8(%rbp)
  mov    %rsi,-0x10(%rbp)
  cmpq   $0x0,-0x10(%rbp)
  jne    L349
  mov    -0x8(%rbp),%rax
  mov    %eax,%esi
  lea    D23(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L43
L349:
  mov    -0x8(%rbp),%rax
  mov    %eax,%esi
  lea    D391(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L43:
  mov    -0x8(%rbp),%rax
  and    $0x80000000,%eax
  test   %rax,%rax
  je     L210
  mov    $0x8,%esi
  lea    D667(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L142
L210:
  mov    $0x0,%esi
  lea    D524(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L142:
  mov    -0x8(%rbp),%rax
  sar    $0x1a,%rax
  and    $0x1f,%eax
  cmp    $0x17,%rax
  jle    L130
  mov    -0x8(%rbp),%rax
  sar    $0x18,%rax
  and    $0x7c,%eax
  mov    %eax,%esi
  lea    D371(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L754
L130:
  mov    -0x8(%rbp),%rax
  sar    $0x1a,%rax
  and    $0x1f,%eax
  add    $0x8,%eax
  mov    $0x1,%edx
  mov    %eax,%ecx
  shl    %cl,%edx
  mov    %edx,%ecx
  mov    -0x8(%rbp),%rax
  sar    $0x1a,%rax
  and    $0x1f,%eax
  lea    0x8(%rax),%rdx
  mov    -0x8(%rbp),%rax
  sar    $0x18,%rax
  and    $0x7c,%eax
  mov    %eax,%esi
  lea    D445(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L754:
  mov    -0x8(%rbp),%rax
  and    $0x3000000,%eax
  cmp    $0x3000000,%rax
  je     L758
  cmp    $0x3000000,%rax
  jg     L505
  cmp    $0x2000000,%rax
  je     L577
  cmp    $0x2000000,%rax
  jg     L505
  test   %rax,%rax
  je     L463
  cmp    $0x1000000,%rax
  je     L1208
  jmp    L505
L758:
  mov    -0x8(%rbp),%rax
  sar    $0x18,%rax
  and    $0x3,%eax
  mov    %eax,%esi
  lea    D247(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L505
L577:
  mov    -0x8(%rbp),%rax
  sar    $0x18,%rax
  and    $0x3,%eax
  mov    %eax,%esi
  lea    D598(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L505
L1208:
  mov    -0x8(%rbp),%rax
  sar    $0x18,%rax
  and    $0x3,%eax
  mov    %eax,%esi
  lea    D612(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L505
L463:
  mov    -0x8(%rbp),%rax
  sar    $0x18,%rax
  and    $0x3,%eax
  mov    %eax,%esi
  lea    D162(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  nop
L505:
  mov    -0x8(%rbp),%rax
  and    $0x800000,%eax
  test   %rax,%rax
  je     L1160
  mov    $0x8,%esi
  lea    D136(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L86
L1160:
  mov    $0x0,%esi
  lea    D33(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L86:
  mov    -0x8(%rbp),%rax
  and    $0x400000,%eax
  test   %rax,%rax
  je     L906
  mov    $0x4,%esi
  lea    D562(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L64
L906:
  mov    $0x0,%esi
  lea    D361(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L64:
  mov    -0x8(%rbp),%rax
  and    $0x200000,%eax
  test   %rax,%rax
  je     L956
  mov    $0x2,%esi
  lea    D436(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L729
L956:
  mov    $0x0,%esi
  lea    D604(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L729:
  mov    -0x8(%rbp),%rax
  and    $0x1f0000,%eax
  cmp    $0x130000,%rax
  je     L786
  cmp    $0x130000,%rax
  jg     L507
  cmp    $0x120000,%rax
  je     L860
  cmp    $0x120000,%rax
  jg     L507
  cmp    $0x110000,%rax
  je     L1156
  cmp    $0x110000,%rax
  jg     L507
  cmp    $0x100000,%rax
  je     L209
  cmp    $0x100000,%rax
  jg     L507
  cmp    $0xf0000,%rax
  je     L111
  cmp    $0xf0000,%rax
  jg     L507
  cmp    $0xe0000,%rax
  je     L682
  cmp    $0xe0000,%rax
  jg     L507
  cmp    $0xd0000,%rax
  je     L855
  cmp    $0xd0000,%rax
  jg     L507
  cmp    $0xc0000,%rax
  je     L992
  cmp    $0xc0000,%rax
  jg     L507
  cmp    $0xb0000,%rax
  je     L968
  cmp    $0xb0000,%rax
  jg     L507
  cmp    $0xa0000,%rax
  je     L834
  cmp    $0xa0000,%rax
  jg     L507
  cmp    $0x90000,%rax
  je     L344
  cmp    $0x90000,%rax
  jg     L507
  cmp    $0x80000,%rax
  je     L119
  cmp    $0x80000,%rax
  jg     L507
  cmp    $0x70000,%rax
  je     L1201
  cmp    $0x70000,%rax
  jg     L507
  cmp    $0x60000,%rax
  je     L1062
  cmp    $0x60000,%rax
  jg     L507
  cmp    $0x50000,%rax
  je     L1085
  cmp    $0x50000,%rax
  jg     L507
  cmp    $0x40000,%rax
  je     L1022
  cmp    $0x40000,%rax
  jg     L507
  cmp    $0x30000,%rax
  je     L591
  cmp    $0x30000,%rax
  jg     L507
  cmp    $0x20000,%rax
  je     L892
  cmp    $0x20000,%rax
  jg     L507
  test   %rax,%rax
  je     L723
  cmp    $0x10000,%rax
  je     L412
  jmp    L507
L786:
  mov    $0x14,%esi
  lea    D189(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L860:
  mov    $0x12,%esi
  lea    D130(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L1156:
  mov    $0x11,%esi
  lea    D644(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L209:
  mov    $0x10,%esi
  lea    D557(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L111:
  mov    $0xf,%esi
  lea    D640(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L682:
  mov    $0xe,%esi
  lea    D378(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L855:
  mov    $0xd,%esi
  lea    D685(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L992:
  mov    $0xc,%esi
  lea    D57(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L968:
  mov    $0xb,%esi
  lea    D575(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L834:
  mov    $0xa,%esi
  lea    D632(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L344:
  mov    $0x9,%esi
  lea    D504(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L119:
  mov    $0x8,%esi
  lea    D609(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L1201:
  mov    $0x7,%esi
  lea    D660(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L1062:
  mov    $0x6,%esi
  lea    D611(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L1085:
  mov    $0x5,%esi
  lea    D610(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L1022:
  mov    $0x4,%esi
  lea    D606(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L591:
  mov    $0x3,%esi
  lea    D692(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L892:
  mov    $0x2,%esi
  lea    D697(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L412:
  mov    $0x1,%esi
  lea    D615(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L723:
  mov    $0x0,%esi
  lea    D352(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L696
L507:
  mov    $0x14,%esi
  lea    D131(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  nop
L696:
  mov    -0x8(%rbp),%rax
  and    $0xc000,%eax
  cmp    $0xc000,%rax
  je     L504
  cmp    $0xc000,%rax
  jg     L154
  cmp    $0x8000,%rax
  je     L255
  cmp    $0x8000,%rax
  jg     L154
  test   %rax,%rax
  je     L846
  cmp    $0x4000,%rax
  je     L873
  jmp    L154
L504:
  mov    $0xc,%esi
  lea    D435(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L154
L255:
  mov    $0x8,%esi
  lea    D110(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L154
L873:
  mov    $0x4,%esi
  lea    D450(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L154
L846:
  mov    $0x0,%esi
  lea    D308(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  nop
L154:
  mov    -0x8(%rbp),%rax
  and    $0x400,%eax
  test   %rax,%rax
  je     L919
  mov    $0x4,%esi
  lea    D119(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L243
L919:
  mov    $0x0,%esi
  lea    D280(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L243:
  mov    -0x8(%rbp),%rax
  and    $0x300,%eax
  cmp    $0x300,%rax
  je     L1012
  cmp    $0x300,%rax
  jg     L857
  cmp    $0x200,%rax
  je     L1089
  cmp    $0x200,%rax
  jg     L857
  test   %rax,%rax
  je     L546
  cmp    $0x100,%rax
  je     L175
  jmp    L857
L1012:
  mov    $0x3,%esi
  lea    D479(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L857
L1089:
  mov    $0x2,%esi
  lea    D164(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L857
L175:
  mov    $0x1,%esi
  lea    D444(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L857
L546:
  mov    $0x0,%esi
  lea    D551(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  nop
L857:
  mov    -0x8(%rbp),%rax
  and    $0x80,%eax
  test   %rax,%rax
  je     L676
  mov    $0x8,%esi
  lea    D549(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L244
L676:
  mov    $0x0,%esi
  lea    D392(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L244:
  mov    -0x8(%rbp),%rax
  and    $0x40,%eax
  test   %rax,%rax
  je     L104
  mov    $0x4,%esi
  lea    D511(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L635
L104:
  mov    $0x0,%esi
  lea    D207(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L635:
  mov    -0x8(%rbp),%rax
  and    $0x38,%eax
  cmp    $0x38,%rax
  ja     L141
  lea    0x0(,%rax,4),%rdx
  lea    D328(%rip),%rax
  mov    (%rdx,%rax,1),%eax
  cltq
  lea    D328(%rip),%rdx
  add    %rdx,%rax
  notrack jmp *%rax
  mov    $0x38,%esi
  lea    D70(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L141
  mov    $0x30,%esi
  lea    D664(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L141
  mov    $0x28,%esi
  lea    D505(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L141
  mov    $0x20,%esi
  lea    D389(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L141
  mov    $0x18,%esi
  lea    D81(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L141
  mov    $0x10,%esi
  lea    D142(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L141
  mov    $0x8,%esi
  lea    D420(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L141
  mov    $0x0,%esi
  lea    D595(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  nop
L141:
  mov    -0x8(%rbp),%rax
  and    $0x7,%eax
  cmp    $0x5,%rax
  ja     L213
  lea    0x0(,%rax,4),%rdx
  lea    D221(%rip),%rax
  mov    (%rdx,%rax,1),%eax
  cltq
  lea    D221(%rip),%rdx
  add    %rdx,%rax
  notrack jmp *%rax
  mov    $0x5,%esi
  lea    D688(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L1059
  mov    $0x4,%esi
  lea    D235(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L1059
  mov    $0x3,%esi
  lea    D112(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L1059
  mov    $0x2,%esi
  lea    D343(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L1059
  mov    $0x1,%esi
  lea    D323(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L1059
  mov    $0x0,%esi
  lea    D151(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L1059
L213:
  mov    $0x0,%esi
  lea    D573(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  nop
L1059:
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D23
data_type: string
name: extract_symbolic_data
arguments: label: D391
data_type: string
name: extract_symbolic_data
arguments: label: D667
data_type: string
name: extract_symbolic_data
arguments: label: D524
data_type: string
name: extract_symbolic_data
arguments: label: D371
data_type: string
name: extract_symbolic_data
arguments: label: D445
data_type: string
name: extract_symbolic_data
arguments: label: D247
data_type: string
name: extract_symbolic_data
arguments: label: D598
data_type: string
name: extract_symbolic_data
arguments: label: D612
data_type: string
name: extract_symbolic_data
arguments: label: D162
data_type: string
name: extract_symbolic_data
arguments: label: D136
data_type: string
name: extract_symbolic_data
arguments: label: D33
data_type: string
name: extract_symbolic_data
arguments: label: D562
data_type: string
name: extract_symbolic_data
arguments: label: D361
data_type: string
name: extract_symbolic_data
arguments: label: D436
data_type: string
name: extract_symbolic_data
arguments: label: D604
data_type: string
name: extract_symbolic_data
arguments: label: D189
data_type: string
name: extract_symbolic_data
arguments: label: D130
data_type: string
name: extract_symbolic_data
arguments: label: D644
data_type: string
name: extract_symbolic_data
arguments: label: D557
data_type: string
name: extract_symbolic_data
arguments: label: D640
data_type: string
name: extract_symbolic_data
arguments: label: D378
data_type: string
name: extract_symbolic_data
arguments: label: D685
data_type: string
name: extract_symbolic_data
arguments: label: D57
data_type: string
name: extract_symbolic_data
arguments: label: D575
data_type: string
name: extract_symbolic_data
arguments: label: D632
data_type: string
name: extract_symbolic_data
arguments: label: D504
data_type: string
name: extract_symbolic_data
arguments: label: D609
data_type: string
name: extract_symbolic_data
arguments: label: D660
data_type: string
name: extract_symbolic_data
arguments: label: D611
data_type: string
name: extract_symbolic_data
arguments: label: D610
data_type: string
name: extract_symbolic_data
arguments: label: D606
data_type: string
name: extract_symbolic_data
arguments: label: D692
data_type: string
name: extract_symbolic_data
arguments: label: D697
data_type: string
name: extract_symbolic_data
arguments: label: D615
data_type: string
name: extract_symbolic_data
arguments: label: D352
data_type: string
name: extract_symbolic_data
arguments: label: D131
data_type: string
name: extract_symbolic_data
arguments: label: D435
data_type: string
name: extract_symbolic_data
arguments: label: D110
data_type: string
name: extract_symbolic_data
arguments: label: D450
data_type: string
name: extract_symbolic_data
arguments: label: D308
data_type: string
name: extract_symbolic_data
arguments: label: D119
data_type: string
name: extract_symbolic_data
arguments: label: D280
data_type: string
name: extract_symbolic_data
arguments: label: D479
data_type: string
name: extract_symbolic_data
arguments: label: D164
data_type: string
name: extract_symbolic_data
arguments: label: D444
data_type: string
name: extract_symbolic_data
arguments: label: D551
data_type: string
name: extract_symbolic_data
arguments: label: D549
data_type: string
name: extract_symbolic_data
arguments: label: D392
data_type: string
name: extract_symbolic_data
arguments: label: D511
data_type: string
name: extract_symbolic_data
arguments: label: D207
data_type: string
name: extract_symbolic_data
arguments: label: D70
data_type: string
name: extract_symbolic_data
arguments: label: D664
data_type: string
name: extract_symbolic_data
arguments: label: D505
data_type: string
name: extract_symbolic_data
arguments: label: D389
data_type: string
name: extract_symbolic_data
arguments: label: D81
data_type: string
name: extract_symbolic_data
arguments: label: D142
data_type: string
name: extract_symbolic_data
arguments: label: D420
data_type: string
name: extract_symbolic_data
arguments: label: D595
data_type: string
name: extract_symbolic_data
arguments: label: D688
data_type: string
name: extract_symbolic_data
arguments: label: D235
data_type: string
name: extract_symbolic_data
arguments: label: D112
data_type: string
name: extract_symbolic_data
arguments: label: D343
data_type: string
name: extract_symbolic_data
arguments: label: D323
data_type: string
name: extract_symbolic_data
arguments: label: D151
data_type: string
name: extract_symbolic_data
arguments: label: D573
data_type: string

tool: D23:  BF1DEVCFG1 = 0x%08X


tool: D391:  BF2DEVCFG1 = 0x%08X


tool: D667:                 %01x        Deadman Timer enabled and CANNOT be disabled in SW


tool: D524:                 %01x        Deadman Timer disabled and can be enabled in SW


tool: D371:                 %02x       Deadman Timer Count Select: RESERVED


tool: D445:                 %02x       Deadman Timer Count Select: 2^%d (%d)


tool: D247:                  %01x       Watchdog Timer Window Size 25%%


tool: D598:                  %01x       Watchdog Timer Window Size 37.5%%


tool: D612:                  %01x       Watchdog Timer Window Size 50%%


tool: D162:                  %01x       Watchdog Timer Window Size 75%%


tool: D136:                   %01x      Watchdog timer is enabled, CANNOT be disabled in SW


tool: D33:                   %01x      Watchdog Timer disabled and can be enabled in SW


tool: D562:                   %01x      Watchdog timer is in non-window mode


tool: D361:                   %01x      Watchdog Timer is in window mode


tool: D436:                   %01x      Watchdog timer stops during Flash programming


tool: D604:                   %01x      Watchdog Timer runs during Flash programming


tool: D189:                   %02x     Watchdog Timer Postscale 1:524288


tool: D130:                   %02x     Watchdog Timer Postscale 1:262144


tool: D644:                   %02x     Watchdog Timer Postscale 1:131072


tool: D557:                   %02x     Watchdog Timer Postscale 1:65536


tool: D640:                   %02x     Watchdog Timer Postscale 1:32768


tool: D378:                   %02x     Watchdog Timer Postscale 1:16384


tool: D685:                   %02x     Watchdog Timer Postscale 1:8192


tool: D57:                   %02x     Watchdog Timer Postscale 1:4096


tool: D575:                   %02x     Watchdog Timer Postscale 1:2048


tool: D632:                   %02x     Watchdog Timer Postscale 1:1024


tool: D504:                   %02x     Watchdog Timer Postscale 1:512


tool: D609:                   %02x     Watchdog Timer Postscale 1:256


tool: D660:                   %02x     Watchdog Timer Postscale 1:128


tool: D611:                   %02x     Watchdog Timer Postscale 1:64


tool: D610:                   %02x     Watchdog Timer Postscale 1:32


tool: D606:                   %02x     Watchdog Timer Postscale 1:16


tool: D692:                   %02x     Watchdog Timer Postscale 1:8


tool: D697:                   %02x     Watchdog Timer Postscale 1:4


tool: D615:                   %02x     Watchdog Timer Postscale 1:2


tool: D352:                   %02x     Watchdog Timer Postscale 1:1


tool: D131:                   %02x     Watchdog Timer Postscale 1:1048579


tool: D435:                     %01x    Clock switching enabled, clock monitoring enabled


tool: D110:                     %01x    Clock switching disabled, clock monitoring enabled


tool: D450:                     %01x    Clock switching enabled, clock monitoring disabled


tool: D308:                     %01x    Clock switching disabled, clock monitoring disabled


tool: D119:                      %01x   CLKO output disabled


tool: D280:                      %01x   CLKO output active on OSC2


tool: D479:                      %01x   POSC disabled


tool: D164:                      %01x   POSC set to HS Oscillator mode


tool: D444:                      %01x   POSC - RESERVED setting


tool: D551:                      %01x   POSC set to EC mode


tool: D549:                       %01x  Internal External Switchover enabled


tool: D392:                       %01x  Internal External Switchover disabled


tool: D511:                       %01x  SOSC enabled


tool: D207:                       %01x  SOSC disabled


tool: D70:                       %02x Deadman Timer Window is 127/128 counter value


tool: D664:                       %02x Deadman Timer Window is 63/64 counter value


tool: D505:                       %02x Deadman Timer Window is 31/32 counter value


tool: D389:                       %02x Deadman Timer Window is 15/16 counter value


tool: D81:                       %02x Deadman Timer Window is 7/8 counter value


tool: D142:                       %02x Deadman Timer Window is 3/4 counter value


tool: D420:                       %02x Deadman Timer Window is 1/2 counter value


tool: D595:                       %02x Deadman Timer Window value is 0


tool: D688:                        %01x LPRC selected as Oscillator


tool: D235:                        %01x SOSC selected as Oscillator


tool: D112:                        %01x USB PLL selected as Oscillator


tool: D343:                        %01x POSC selected as Oscillator


tool: D323:                        %01x System PLL selected as Oscillator


tool: D151:                        %01x FRC + divider selected as Oscillator


tool: D573:                        %01x RESERVED bit selected for Oscillator


assistant: ```c
void print_mk_devcfg1(uint32_t devcfg1, uint32_t alternate) {
  if (0 == alternate) {
    printf(" BF1DEVCFG1 = 0x%08X\n", devcfg1);
  } else {
    printf(" BF2DEVCFG1 = 0x%08X\n", devcfg1);
  }
  if (devcfg1 & 0x80000000) {
    printf("                %01x        Deadman Timer enabled and CANNOT be disabled in SW\n", 0x80000000 >> 28);
  } else {
    printf("                %01x        Deadman Timer disabled and can be enabled in SW\n", 0);
  }
  if (((devcfg1 & 0x7C000000) >> 26) > (31 - 8)) {
    printf("                %02x       Deadman Timer Count Select: RESERVED\n", (devcfg1 & 0x7C000000) >> 24);
  } else {
    printf("                %02x       Deadman Timer Count Select: 2^%d (%d)\n", (devcfg1 & 0x7C000000) >> 24, 8 + ((devcfg1 & 0x7C000000) >> 26), 1 << (8 + ((devcfg1 & 0x7C000000) >> 26)));
  }
  switch (devcfg1 & 0x03000000) {
  case 0x03000000:
    printf("                 %01x       Watchdog Timer Window Size 25%%\n", (devcfg1 & 0x03000000) >> 24);
    break;
  case 0x02000000:
    printf("                 %01x       Watchdog Timer Window Size 37.5%%\n", (devcfg1 & 0x03000000) >> 24);
    break;
  case 0x01000000:
    printf("                 %01x       Watchdog Timer Window Size 50%%\n", (devcfg1 & 0x03000000) >> 24);
    break;
  case 0x00000000:
    printf("                 %01x       Watchdog Timer Window Size 75%%\n", (devcfg1 & 0x03000000) >> 24);
    break;
  }
  if (devcfg1 & 0x00800000) {
    printf("                  %01x      Watchdog timer is enabled, CANNOT be disabled in SW\n", 0x00800000 >> 20);
  } else {
    printf("                  %01x      Watchdog Timer disabled and can be enabled in SW\n", 0);
  }
  if (devcfg1 & 0x00400000) {
    printf("                  %01x      Watchdog timer is in non-window mode\n", 0x00400000 >> 20);
  } else {
    printf("                  %01x      Watchdog Timer is in window mode\n", 0);
  }
  if (devcfg1 & 0x00200000) {
    printf("                  %01x      Watchdog timer stops during Flash programming\n", 0x00200000 >> 20);
  } else {
    printf("                  %01x      Watchdog Timer runs during Flash programming\n", 0);
  }
  switch (devcfg1 & 0x001F0000) {
  case 0x00130000:
    printf("                  %02x     Watchdog Timer Postscale 1:524288\n", 0x00140000 >> 16);
    break;
  case 0x00120000:
    printf("                  %02x     Watchdog Timer Postscale 1:262144\n", 0x00120000 >> 16);
    break;
  case 0x00110000:
    printf("                  %02x     Watchdog Timer Postscale 1:131072\n", 0x00110000 >> 16);
    break;
  case 0x00100000:
    printf("                  %02x     Watchdog Timer Postscale 1:65536\n", 0x00100000 >> 16);
    break;
  case 0x000F0000:
    printf("                  %02x     Watchdog Timer Postscale 1:32768\n", 0x000F0000 >> 16);
    break;
  case 0x000E0000:
    printf("                  %02x     Watchdog Timer Postscale 1:16384\n", 0x000E0000 >> 16);
    break;
  case 0x000D0000:
    printf("                  %02x     Watchdog Timer Postscale 1:8192\n", 0x000D0000 >> 16);
    break;
  case 0x000C0000:
    printf("                  %02x     Watchdog Timer Postscale 1:4096\n", 0x000C0000 >> 16);
    break;
  case 0x000B0000:
    printf("                  %02x     Watchdog Timer Postscale 1:2048\n", 0x000B0000 >> 16);
    break;
  case 0x000A0000:
    printf("                  %02x     Watchdog Timer Postscale 1:1024\n", 0x000A0000 >> 16);
    break;
  case 0x00090000:
    printf("                  %02x     Watchdog Timer Postscale 1:512\n", 0x00090000 >> 16);
    break;
  case 0x00080000:
    printf("                  %02x     Watchdog Timer Postscale 1:256\n", 0x00080000 >> 16);
    break;
  case 0x00070000:
    printf("                  %02x     Watchdog Timer Postscale 1:128\n", 0x00070000 >> 16);
    break;
  case 0x00060000:
    printf("                  %02x     Watchdog Timer Postscale 1:64\n", 0x00060000 >> 16);
    break;
  case 0x00050000:
    printf("                  %02x     Watchdog Timer Postscale 1:32\n", 0x00050000 >> 16);
    break;
  case 0x00040000:
    printf("                  %02x     Watchdog Timer Postscale 1:16\n", 0x00040000 >> 16);
    break;
  case 0x00030000:
    printf("                  %02x     Watchdog Timer Postscale 1:8\n", 0x00030000 >> 16);
    break;
  case 0x00020000:
    printf("                  %02x     Watchdog Timer Postscale 1:4\n", 0x00020000 >> 16);
    break;
  case 0x00010000:
    printf("                  %02x     Watchdog Timer Postscale 1:2\n", 0x00010000 >> 16);
    break;
  case 0x00000000:
    printf("                  %02x     Watchdog Timer Postscale 1:1\n", 0x00000000 >> 16);
    break;
  case 0x00140000:
  default:
    printf("                  %02x     Watchdog Timer Postscale 1:1048579\n", 0x00140000 >> 16);
    break;
  }
  switch (devcfg1 & 0x0000C000) {
  case 0x0000C000:
    printf("                    %01x    Clock switching enabled, clock monitoring enabled\n", 0x0000C000 >> 12);
    break;
  case 0x00008000:
    printf("                    %01x    Clock switching disabled, clock monitoring enabled\n", 0x00008000 >> 12);
    break;
  case 0x00004000:
    printf("                    %01x    Clock switching enabled, clock monitoring disabled\n", 0x00004000 >> 12);
    break;
  case 0x00000000:
    printf("                    %01x    Clock switching disabled, clock monitoring disabled\n", 0x00000000 >> 12);
    break;
  }
  if (devcfg1 & 0x00000400) {
    printf("                     %01x   CLKO output disabled\n", 0x00000400 >> 8);
  } else {
    printf("                     %01x   CLKO output active on OSC2\n", 0);
  }
  switch (devcfg1 & 0x00000300) {
  case 0x00000300:
    printf("                     %01x   POSC disabled\n", 0x00000300 >> 8);
    break;
  case 0x00000200:
    printf("                     %01x   POSC set to HS Oscillator mode\n", 0x00000200 >> 8);
    break;
  case 0x00000100:
    printf("                     %01x   POSC - RESERVED setting\n", 0x00000100 >> 8);
    break;
  case 0x00000000:
    printf("                     %01x   POSC set to EC mode\n", 0x00000000 >> 8);
    break;
  }
  if (devcfg1 & 0x00000080) {
    printf("                      %01x  Internal External Switchover enabled\n", 0x00000080 >> 4);
  } else {
    printf("                      %01x  Internal External Switchover disabled\n", 0);
  }
  if (devcfg1 & 0x00000040) {
    printf("                      %01x  SOSC enabled\n", 0x00000040 >> 4);
  } else {
    printf("                      %01x  SOSC disabled\n", 0);
  }
  switch (devcfg1 & 0x00000038) {
  case 0x00000038:
    printf("                      %02x Deadman Timer Window is 127/128 counter value\n", 0x00000038);
    break;
  case 0x00000030:
    printf("                      %02x Deadman Timer Window is 63/64 counter value\n", 0x00000030);
    break;
  case 0x00000028:
    printf("                      %02x Deadman Timer Window is 31/32 counter value\n", 0x00000028);
    break;
  case 0x00000020:
    printf("                      %02x Deadman Timer Window is 15/16 counter value\n", 0x00000020);
    break;
  case 0x00000018:
    printf("                      %02x Deadman Timer Window is 7/8 counter value\n", 0x00000018);
    break;
  case 0x00000010:
    printf("                      %02x Deadman Timer Window is 3/4 counter value\n", 0x00000010);
    break;
  case 0x00000008:
    printf("                      %02x Deadman Timer Window is 1/2 counter value\n", 0x00000008);
    break;
  case 0x00000000:
    printf("                      %02x Deadman Timer Window value is 0\n", 0x00000000);
    break;
  }
  switch (devcfg1 & 0x00000007) {
  case 0x00000005:
    printf("                       %01x LPRC selected as Oscillator\n", 0x00000005);
    break;
  case 0x00000004:
    printf("                       %01x SOSC selected as Oscillator\n", 0x00000004);
    break;
  case 0x00000003:
    printf("                       %01x USB PLL selected as Oscillator\n", 0x00000003);
    break;
  case 0x00000002:
    printf("                       %01x POSC selected as Oscillator\n", 0x00000002);
    break;
  case 0x00000001:
    printf("                       %01x System PLL selected as Oscillator\n", 0x00000001);
    break;
  case 0x00000000:
    printf("                       %01x FRC + divider selected as Oscillator\n", 0x00000000);
    break;
  default:
    printf("                       %01x RESERVED bit selected for Oscillator\n", 0x00000000);
    break;
  }
}
```