Symbol: get_highest_node_memory
sys/kern/usched_dfly.c
2529
usched_dfly_node_mem = get_highest_node_memory();
sys/sys/cpu_topology.h
80
long get_highest_node_memory(void);