// SPDX-License-Identifier: ISC

#pragma once

#include <stdint.h>

constexpr uint64_t ARCH_HHDM_BASE = 0xffff'8000'0000'0000;
constexpr uint64_t ARCH_HUGE_PAGE_SIZE = 0x20'0000;