Symbol: arm64_rsi_setup_memory
sys/arm64/arm64/machdep.c
896
arm64_rsi_setup_memory();
sys/arm64/include/rsi.h
35
void arm64_rsi_setup_memory(void);