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


Disassembly of section .text:

ffffffff80bd1930 <cpu_sanitize_frame>:
ffffffff80bd1930:	48 63 05 15 f7 ce 00 	movslq 0xcef715(%rip),%rax        # ffffffff818c104c <_ucodesel>
ffffffff80bd1937:	48 89 87 a8 00 00 00 	mov    %rax,0xa8(%rdi)
ffffffff80bd193e:	48 63 05 0b f7 ce 00 	movslq 0xcef70b(%rip),%rax        # ffffffff818c1050 <_udatasel>
ffffffff80bd1945:	48 89 87 c0 00 00 00 	mov    %rax,0xc0(%rdi)
ffffffff80bd194c:	48 8b 87 b0 00 00 00 	mov    0xb0(%rdi),%rax
ffffffff80bd1953:	25 d5 4d 27 00       	and    $0x274dd5,%eax
ffffffff80bd1958:	48 0d 02 02 00 00    	or     $0x202,%rax
ffffffff80bd195e:	48                   	rex.W
ffffffff80bd195f:	89                   	.byte 0x89