kern/arch/x86/pmap.h

#pragma once

void x86_cleanup_bootmem(void);
void setup_default_mtrrs(barrier_t *smp_barrier);
physaddr_t get_boot_pml4(void);
uintptr_t get_gdt64(void);