#include "lib/int/stdint.h"
void* pmmngr_alloc_block ();
//void* pmmngr_alloc_blocks (uint32_t size);
void pmmngr_free_block (void* p);
void mem_init(uint16_t *memmap,uint16_t entries);