Symbol: svs_init
sys/arch/amd64/amd64/machdep.c
1818
svs_init();
sys/arch/amd64/include/pmap_private.h
188
void svs_init(void);