/usr/obj/usr/src/sys/VKERNEL64/kernel.debug:     file format elf64-x86-64


Disassembly of section .text:

000000000071dd30 <cpu_sanitize_frame>:
  71dd30:	48 63 05 b1 c4 3a 00 	movslq 0x3ac4b1(%rip),%rax        # aca1e8 <_ucodesel>
  71dd37:	48 89 87 a8 00 00 00 	mov    %rax,0xa8(%rdi)
  71dd3e:	48 63 05 9f c4 3a 00 	movslq 0x3ac49f(%rip),%rax        # aca1e4 <_udatasel>
  71dd45:	48 89 87 c0 00 00 00 	mov    %rax,0xc0(%rdi)
  71dd4c:	48 8b 87 b0 00 00 00 	mov    0xb0(%rdi),%rax
  71dd53:	25 d5 4d 25 00       	and    $0x254dd5,%eax
  71dd58:	48 0d 02 02 00 00    	or     $0x202,%rax
  71dd5e:	48                   	rex.W
  71dd5f:	89                   	.byte 0x89