path: root/kernel/vmem.h

void vmem_init();