CLI_ASSERT_CPUSET
CLI_ASSERT_CPUSET(hk_cpu_set, 0, 1, 2, 3);
CLI_ASSERT_CPUSET(monitored_cpus, 0, 1, 3);
CLI_ASSERT_CPUSET(monitored_cpus, 0, 1, 3);
CLI_ASSERT_CPUSET(hk_cpu_set, 0, 1, 3);
CLI_ASSERT_CPUSET(hk_cpu_set, 0, 1, 3);
CLI_ASSERT_CPUSET(monitored_cpus, 0, 1, 3);
CLI_ASSERT_CPUSET(monitored_cpus, 0, 1, 3);
CLI_ASSERT_CPUSET(hk_cpu_set, 0, 1, 3);
CLI_ASSERT_CPUSET(hk_cpu_set, 0, 1, 3);
CLI_ASSERT_CPUSET(monitored_cpus, 0, 1, 3);
CLI_ASSERT_CPUSET(monitored_cpus, 0, 1, 3);
CLI_ASSERT_CPUSET(hk_cpu_set, 0, 1, 3);
CLI_ASSERT_CPUSET(hk_cpu_set, 0, 1, 3);
CLI_ASSERT_CPUSET(monitored_cpus, 0, 1, 3);
CLI_ASSERT_CPUSET(monitored_cpus, 0, 1, 3);
CLI_ASSERT_CPUSET(hk_cpu_set, 0, 1, 3);
CLI_ASSERT_CPUSET(hk_cpu_set, 0, 1, 3);