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


Disassembly of section .text:

ffffffff80967910 <hammer2_autodmsg+0x250>:
ffffffff80967910:	c9                   	leaveq 
ffffffff80967911:	4c 89 e7             	mov    %r12,%rdi
ffffffff80967914:	4c 89 55 a8          	mov    %r10,-0x58(%rbp)
ffffffff80967918:	48 c7 c2 30 74 96 80 	mov    $0xffffffff80967430,%rdx
ffffffff8096791f:	be 07 12 00 80       	mov    $0x80001207,%esi
ffffffff80967924:	e8 a7 e4 cc ff       	callq  ffffffff80635dd0 <kdmsg_msg_alloc>
ffffffff80967929:	49 8d b7 00 01 00 00 	lea    0x100(%r15),%rsi
ffffffff80967930:	48 89 c3             	mov    %rax,%rbx
ffffffff80967933:	49 8b 87 90 00 00 00 	mov    0x90(%r15),%rax
ffffffff8096793a:	48 8d bb e8 00 00 00 	lea    0xe8(%rbx),%rdi
ffffffff80967941:	48 89 43 78          	mov    %rax,0x78(%rbx)
ffffffff80967945:	49 8b 87 98 00 00 00 	mov    0x98(%r15),%rax
ffffffff8096794c:	48 89 83 80 00 00 00 	mov    %rax,0x80(%rbx)
ffffffff80967953:	49 8b 87 a0 00 00 00 	mov    0xa0(%r15),%rax
ffffffff8096795a:	48                   	rex.W
ffffffff8096795b:	89                   	.byte 0x89
ffffffff8096795c:	83                   	.byte 0x83
ffffffff8096795d:	88 00                	mov    %al,(%rax)
	...