/*
  StarForth — Steady-State Virtual Machine Runtime
  Copyright (c) 2023–2026 Robert A. James. All rights reserved.
  Licensed under the StarForth License, Version 1.0.
 */

/**
 * rpi5_mmu.h - the Pi 5 native path's identity map, once C runs
 * (rpi5_mmu.c; native_rpi5_entry.S turns the MMU on).
 */

#ifndef STARKERNEL_RPI5_MMU_H
#define STARKERNEL_RPI5_MMU_H

#include <stdint.h>

/* Makes every further GiB the devicetree's /memory covers entirely Normal
 * write-back. Returns how many GiB entries changed, or -1 if /memory
 * cannot be read. */
int rpi5_mmu_map_ram(const void *dtb);

/* Makes [addr, addr+size) Normal non-cacheable (2 MiB blocks in the first
 * GiB, a whole GiB above it). Returns 0, or -1 if it cannot. */
int rpi5_mmu_uncached(uint64_t addr, uint64_t size);

#endif /* STARKERNEL_RPI5_MMU_H */