SYSCTL0_WRITE
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_WRITE | SYSCTL1_WRITE));
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_WRITE | SYSCTL1_WRITE));
ATF_REQUIRE(checkcaps(capsysctl) == SYSCTL0_WRITE);
SYSCTL0_READ2 | SYSCTL0_WRITE | SYSCTL0_READ_WRITE));
SYSCTL0_READ2 | SYSCTL0_WRITE | SYSCTL0_READ_WRITE |
result |= SYSCTL0_WRITE;
if ((result & SYSCTL0_WRITE) != 0) {
if ((result & SYSCTL0_WRITE) != 0)
SYSCTL0_READ2 | SYSCTL0_WRITE | SYSCTL0_READ_WRITE |
SYSCTL0_READ2 | SYSCTL0_WRITE | SYSCTL0_READ_WRITE |
SYSCTL0_READ2 | SYSCTL0_WRITE | SYSCTL0_READ_WRITE |
SYSCTL0_READ2 | SYSCTL0_WRITE | SYSCTL0_READ_WRITE |
SYSCTL0_READ2 | SYSCTL0_WRITE | SYSCTL0_READ_WRITE |
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_WRITE | SYSCTL1_WRITE));
ATF_REQUIRE(checkcaps(capsysctl) == (SYSCTL0_WRITE | SYSCTL1_WRITE));