/* SPDX-License-Identifier: GPL-2.0-or-later */
/* Copyright (C) 2026 Richard Qin */

#include <arch/config.h>

namespace arch {

uint64 g_direct_map_base = kDirectMapBaseDefault;

} // namespace arch