#ifndef PALLOC_H
#define PALLOC_H

#include "types.h"

void palloc_init();

uint32_t palloc();
void pfree(uint32_t addr);

#endif