Symbol: MAXCPU
usr/src/boot/sys/amd64/include/param.h
67
#ifndef MAXCPU
usr/src/boot/sys/i386/include/param.h
60
#ifndef MAXCPU
usr/src/uts/intel/io/vmm/intel/vmx.h
153
uint64_t eptgen[MAXCPU];