#ifndef HV_ALLOCATOR_H
#define HV_ALLOCATOR_H

#include "hv/types.h"

void allocator_init(paddr_t base, uint64_t size);
void *alloc_page(void);
bool allocator_owns(paddr_t addr, uint64_t size);
bool allocator_selftest(void);
void allocator_dump(void);

#endif