#ifndef MEMORY_KERNEL_H
#define MEMORY_KERNEL_H

#include <stdint.h>

/* These are hardcoded for now */
#define KERNBASE 0x80000000L
#define PHYSTOP  (KERNBASE + 128 * 1024 * 1024)

/**
 * Set and fetch routine for checking memory.
 */
int memory_sweep(const uintptr_t start, const uintptr_t end);

#endif // MEMORY_KERNEL_H