Symbol: SHAREDPAGE_SV48
sys/riscv/include/vmparam.h
205
#define SHAREDPAGE SHAREDPAGE_SV48
sys/riscv/include/vmparam.h
207
#define USRSTACK_SV48 SHAREDPAGE_SV48
sys/riscv/riscv/elf_machdep.c
127
sv->sv_shared_page_base = SHAREDPAGE_SV48;