CPU_ALLOC
set = CPU_ALLOC(maxcpus + 1);
set = CPU_ALLOC(maxcpuid + 1);
set = CPU_ALLOC(maxcpuid + 1);
set = CPU_ALLOC(maxcpus * 2);
set = CPU_ALLOC(maxcpuid + 1);
set = CPU_ALLOC(maxcpus * 2);
set = CPU_ALLOC(i);
set = CPU_ALLOC(maxcpuid + 1);
set = CPU_ALLOC(maxcpus + 1);