1#ifndef HV_ALLOCATOR_H
2#define HV_ALLOCATOR_H
3
4#include "hv/types.h"
5
6void allocator_init(paddr_t base, uint64_t size);
7void *alloc_page(void);
8bool allocator_owns(paddr_t addr, uint64_t size);
9bool allocator_selftest(void);
10void allocator_dump(void);
11
12#endif