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
