Symbol: MACHINE_PLATFORM
sys/platform/pc64/include/param.h
40
#define MACHINE_PLATFORM "pc64"
sys/platform/vkernel64/include/param.h
40
#define MACHINE_PLATFORM "vkernel64"