akaros/kern/arch/x86/pmap.h
<<
>>
Prefs
   1#pragma once
   2
   3void x86_cleanup_bootmem(void);
   4void setup_default_mtrrs(barrier_t *smp_barrier);
   5physaddr_t get_boot_pml4(void);
   6uintptr_t get_gdt64(void);
   7