/boot/kernel/kernel.debug:     file format elf64-x86-64


Disassembly of section .text:

ffffffff8075d040 <_db_show_vap+0x9c0>:
ffffffff8075d040:	10 cd                	adc    %cl,%ch
ffffffff8075d042:	80 31 c0             	xorb   $0xc0,(%rcx)
ffffffff8075d045:	41 83 c5 01          	add    $0x1,%r13d
ffffffff8075d049:	e8 22 ec b6 ff       	callq  ffffffff802cbc70 <db_printf>
ffffffff8075d04e:	49 8b 8c 24 80 00 00 	mov    0x80(%r12),%rcx
ffffffff8075d055:	00 
ffffffff8075d056:	31 c0                	xor    %eax,%eax
ffffffff8075d058:	41 8b 54 24 74       	mov    0x74(%r12),%edx
ffffffff8075d05d:	41 8b 74 24 70       	mov    0x70(%r12),%esi
ffffffff8075d062:	48 c7 c7 90 10 cd 80 	mov    $0xffffffff80cd1090,%rdi
ffffffff8075d069:	e8 02 ec b6 ff       	callq  ffffffff802cbc70 <db_printf>
ffffffff8075d06e:	4d 8b 24 24          	mov    (%r12),%r12
ffffffff8075d072:	4d 85 e4             	test   %r12,%r12
ffffffff8075d075:	75 9d                	jne    ffffffff8075d014 <_db_show_vap+0x994>
ffffffff8075d077:	4c 8b a3 90 09 00 00 	mov    0x990(%rbx),%r12
ffffffff8075d07e:	4d                   	rex.WRB
ffffffff8075d07f:	85                   	.byte 0x85