16 lines
		
	
	
	
		
			248 B
		
	
	
	
		
			NASM
		
	
	
	
	
	
			
		
		
	
	
			16 lines
		
	
	
	
		
			248 B
		
	
	
	
		
			NASM
		
	
	
	
	
	
| bits 64
 | |
| 
 | |
| ;see also ../documentation/memory.txt
 | |
| 
 | |
| global switch_to_kernel_p4
 | |
| 
 | |
| ;from paging.cpp:
 | |
| extern __kernel_p4_paddr
 | |
| 
 | |
| section .text
 | |
| 
 | |
| switch_to_kernel_p4:
 | |
|   mov rax, qword [__kernel_p4_paddr]
 | |
|   mov cr3, rax
 | |
|   mov rsp, 0xfffffffffffff000
 | |
|   jmp rdi
 |