kernel/src/mem/paging_asm.S


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

.section .text

.set KERNEL_VMA, 0xffffffff80000000

.global load_pt_lvl4
load_pt_lvl4:
	push %rbp
	mov %rsp, %rbp

	push %r12
	movabs $KERNEL_VMA, %r12
	sub %r12, %rdi
	mov %rdi, %cr3
	pop %r12

	mov %rbp, %rsp
	pop %rbp
	ret