std1.0.0-beta-7 SafeC docs

std :: kernel::mmu

Macro MMU_DEVICE

#include <std/kernel/mmu.h> source

#define MMU_DEVICE 8u

uncached device memory (x86 PCD|PWT, ARM device attributes; RISC-V: no effect — PMAs decide)