Symbol: KERN_VTOPHYS
sys/arch/aarch64/include/machdep.h
57
#define KERN_VTOPHYS(va) aarch64_kern_vtophys(va)
sys/arch/arm/include/arm32/machdep.h
92
#define KERN_VTOPHYS(va) aarch32_kern_vtophys(va)
sys/arch/riscv/include/machdep.h
58
#define KERN_VTOPHYS(va) riscv_kern_vtophys((vaddr_t)va)