RockOS/kernel/memory/mm_stubs.S

.code32
.global flush_tlb
flush_tlb:
    mov %cr3, %eax
    mov %eax, %cr3
    ret
     
.global disable_pae
disable_pae: 
    mov %cr4, %edx
    and $0xFFFFFFEF, %edx
    mov %edx, %cr4
    ret
    
.global load_pd
load_pd:
    push %ebp 
    mov %esp, %ebp 
    mov 8(%ebp), %eax
    mov %eax, %cr3
    lea flush, %ecx
    jmp *%ecx
flush:
    leave
    ret