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