std :: kernel::mmu
#include <std/kernel/mmu.h> source
#include <std/kernel/mmu.h>
#define MMU_USER 4u
reachable from user mode (x86 U/S, RISC-V U, ARM EL0/PL0)