void vmem_init();