/* SPDX-License-Identifier: GPL-2.0-only */

#include <stdint.h>

uintptr_t __weak io_port_mmio_base = 0;