x86: Upgrade backtrace
[akaros.git] / kern / arch / x86 / pmap.h
1 #pragma once
2
3 void x86_cleanup_bootmem(void);
4 void setup_default_mtrrs(barrier_t *smp_barrier);
5 physaddr_t get_boot_pml4(void);
6 uintptr_t get_gdt64(void);