checkcaps
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_WRITE | SYSCTL1_WRITE));
ATF_REQUIRE(checkcaps(capsysctl) == SYSCTL1_WRITE);
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_WRITE | SYSCTL1_WRITE));
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL1_WRITE));
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL1_WRITE));
ATF_REQUIRE(checkcaps(capsysctl) == 0);
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL1_WRITE));
ATF_REQUIRE(checkcaps(capsysctl) == SYSCTL1_WRITE);
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL1_WRITE));
ATF_REQUIRE(checkcaps(capsysctl) == SYSCTL0_READ0);
ATF_REQUIRE(checkcaps(capsysctl) == SYSCTL1_READ0);
ATF_REQUIRE(checkcaps(capsysctl) == SYSCTL0_WRITE);
ATF_REQUIRE(checkcaps(capsysctl) == SYSCTL1_WRITE);
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL0_READ1 |
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL1_READ0 | SYSCTL1_READ1 |
ATF_REQUIRE(checkcaps(capsysctl) == 0);
ATF_REQUIRE(checkcaps(capsysctl) == SYSCTL1_READ0);
ATF_REQUIRE(checkcaps(capsysctl) == 0);
ATF_REQUIRE(checkcaps(capsysctl) == SYSCTL1_WRITE);
ATF_REQUIRE(checkcaps(capsysctl) == 0);
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL1_READ0 | SYSCTL1_READ1 |
ATF_REQUIRE_EQ(checkcaps(capsysctl), (SYSCTL0_READ0 | SYSCTL0_READ1 |
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL0_READ1 |
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL0_READ1 |
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL1_WRITE));
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL1_WRITE));
ATF_REQUIRE(checkcaps(capsysctl) == SYSCTL0_READ0);
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL0_READ1 |
ATF_REQUIRE(checkcaps(capsysctl) == 0);
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL0_READ1 |
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL1_READ0 | SYSCTL1_READ1 |
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL0_READ1 |
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL1_READ0));
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL1_READ0));
ATF_REQUIRE(checkcaps(capsysctl) == 0);
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL1_READ0));
ATF_REQUIRE(checkcaps(capsysctl) == SYSCTL1_READ0);
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_READ0 | SYSCTL1_READ0));
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_WRITE | SYSCTL1_WRITE));
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_WRITE | SYSCTL1_WRITE));
ATF_REQUIRE(checkcaps(capsysctl) == 0);