CAPFAIL_CPUSET
ktrcapfail(CAPFAIL_CPUSET, NULL);
case CAPFAIL_CPUSET:
ATF_REQUIRE_EQ(violation.cap_type, CAPFAIL_CPUSET);