xen-syms-before:     file format elf64-x86-64								     |	xen-syms-after:     file format elf64-x86-64


Disassembly of section .text:											Disassembly of section .text:

<read_registers>:												<read_registers>:
	                   48 89 fe             	mov    %rdi,%rsi				     |		       48 89 fe             	mov    %rdi,%rsi
	                   0f 20 c0             	mov    %cr0,%rax				     |		       0f 20 c0             	mov    %cr0,%rax
	                   48 89 07             	mov    %rax,(%rdi)				     |		       48 89 07             	mov    %rax,(%rdi)
	                   0f 20 d0             	mov    %cr2,%rax				     |		       0f 20 d0             	mov    %cr2,%rax
	                   48 89 47 08          	mov    %rax,0x8(%rdi)				     |		       48 89 47 08          	mov    %rax,0x8(%rdi)
	                   0f 20 d8             	mov    %cr3,%rax				     |		       0f 20 d8             	mov    %cr3,%rax
	                   48 89 47 10          	mov    %rax,0x10(%rdi)				     |		       48 89 47 10          	mov    %rax,0x10(%rdi)
	                   48 89 e0             	mov    %rsp,%rax				     |		       48 89 e0             	mov    %rsp,%rax
	                   48 0d ff 7f 00 00    	or     $0x7fff,%rax				     |		       48 0d ff 7f 00 00    	or     $0x7fff,%rax
	                   48 8b 50 d9          	mov    -0x27(%rax),%rdx				     |		       48 8b 40 d9          	mov    -0x27(%rax),%rax
	                   48 89 57 18          	mov    %rdx,0x18(%rdi)				     |		       48 89 47 18          	mov    %rax,0x18(%rdi)
	                   f6 40 db 01          	testb  $0x1,-0x25(%rax)				     |		       a9 00 00 01 00       	test   $0x10000,%eax
	         /-------- 74 52                	je     <read_registers+0x80>			     |		   /-- 74 39                	je     <read_registers+0x68>
	         |         f3 48 0f ae c0       	rdfsbase %rax					     |		   |   f3 48 0f ae c0       	rdfsbase %rax
	      /--|-------> 48 89 46 20          	mov    %rax,0x20(%rsi)				     |		   |   48 89 47 20          	mov    %rax,0x20(%rdi)
	      |  |         48 89 e0             	mov    %rsp,%rax				     |		   |   f3 48 0f ae c8       	rdgsbase %rax
	      |  |         48 0d ff 7f 00 00    	or     $0x7fff,%rax				     |		   |   48 89 47 28          	mov    %rax,0x28(%rdi)
	      |  |         f6 40 db 01          	testb  $0x1,-0x25(%rax)				     |		   |   0f 01 f8             	swapgs
	   /--|--|-------- 74 5a                	je     <read_registers+0xa0>			     |		   |   f3 48 0f ae c8       	rdgsbase %rax
	   |  |  |         f3 48 0f ae c8       	rdgsbase %rax					     |		   |   0f 01 f8             	swapgs
	/--|--|--|-------> 48 89 46 28          	mov    %rax,0x28(%rsi)				     |		   |   48 89 47 30          	mov    %rax,0x30(%rdi)
	|  |  |  |         48 89 e0             	mov    %rsp,%rax				     |		/--|-> 8c 5e 38             	mov    %ds,0x38(%rsi)
	|  |  |  |         48 0d ff 7f 00 00    	or     $0x7fff,%rax				     |		|  |   8c 46 3a             	mov    %es,0x3a(%rsi)
	|  |  |  |         f6 40 db 01          	testb  $0x1,-0x25(%rax)				     |		|  |   8c 66 3c             	mov    %fs,0x3c(%rsi)
	|  |  |  |     /-- 74 32                	je     <read_registers+0x90>			     |		|  |   8c 6e 3e             	mov    %gs,0x3e(%rsi)
	|  |  |  |     |   0f 01 f8             	swapgs						     |		|  |   e9 1f 8b e8 ff       	jmp    <__x86_return_thunk>
	|  |  |  |     |   f3 48 0f ae c8       	rdgsbase %rax					     |		|  |   0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
	|  |  |  |     |   0f 01 f8             	swapgs						     |		|  \-> b9 00 01 00 c0       	mov    $0xc0000100,%ecx
	|  |  |  |  /--|-> 48 89 46 30          	mov    %rax,0x30(%rsi)				     |		|      0f 32                	rdmsr
	|  |  |  |  |  |   8c 5e 38             	mov    %ds,0x38(%rsi)				     |		|      48 c1 e2 20          	shl    $0x20,%rdx
	|  |  |  |  |  |   8c 46 3a             	mov    %es,0x3a(%rsi)				     |		|      48 09 d0             	or     %rdx,%rax
	|  |  |  |  |  |   8c 66 3c             	mov    %fs,0x3c(%rsi)				     |		|      b9 01 01 00 c0       	mov    $0xc0000101,%ecx
	|  |  |  |  |  |   8c 6e 3e             	mov    %gs,0x3e(%rsi)				     |		|      48 89 47 20          	mov    %rax,0x20(%rdi)
	|  |  |  |  |  |   e9 02 8b e8 ff       	jmp    <__x86_return_thunk>			     |		|      0f 32                	rdmsr
	|  |  |  |  |  |   66 90                	xchg   %ax,%ax					     |		|      48 c1 e2 20          	shl    $0x20,%rdx
	|  |  |  \--|--|-> b9 00 01 00 c0       	mov    $0xc0000100,%ecx				     |		|      48 09 d0             	or     %rdx,%rax
	|  |  |     |  |   0f 32                	rdmsr						     |		|      b9 02 01 00 c0       	mov    $0xc0000102,%ecx
	|  |  |     |  |   48 c1 e2 20          	shl    $0x20,%rdx				     |		|      48 89 47 28          	mov    %rax,0x28(%rdi)
	|  |  |     |  |   48 09 d0             	or     %rdx,%rax				     |		|      0f 32                	rdmsr
	|  |  \-----|--|-- eb a3                	jmp    <read_registers+0x33>			     |		|      48 c1 e2 20          	shl    $0x20,%rdx
	|  |        |  \-> b9 02 01 00 c0       	mov    $0xc0000102,%ecx				     |		|      48 09 d0             	or     %rdx,%rax
	|  |        |      0f 32                	rdmsr						     |		|      48 89 47 30          	mov    %rax,0x30(%rdi)
	|  |        |      48 c1 e2 20          	shl    $0x20,%rdx				     |		\----- eb b0                	jmp    <read_registers+0x50>
	|  |        |      48 09 d0             	or     %rdx,%rax				     <
	|  |        \----- eb c9                	jmp    <read_registers+0x69>			     <
	|  \-------------> b9 01 01 00 c0       	mov    $0xc0000101,%ecx				     <
	|                  0f 32                	rdmsr						     <
	|                  48 c1 e2 20          	shl    $0x20,%rdx				     <
	|                  48 09 d0             	or     %rdx,%rax				     <
	\----------------- eb 9b                	jmp    <read_registers+0x4b>			     <

Disassembly of section .init.text:										Disassembly of section .init.text: