nativeos/kernel/i386/include/paging.h

#pragma once

void virtual_memory_init(void);

void enable_paging();