F_GET_SEALS
error = kern_fcntl(td, args->fd, F_GET_SEALS, 0);
case F_GET_SEALS:
int seals = fcntl(memfd, F_GET_SEALS);
int seals_ro = fcntl(memfd_ro, F_GET_SEALS);
int seals_rw = fcntl(memfd_rw, F_GET_SEALS);
seals = fcntl(memfd, F_GET_SEALS);
seals_ro = fcntl(memfd_ro, F_GET_SEALS);
ATF_REQUIRE(fcntl(fd, F_GET_SEALS) == 0);
seals = fcntl(fd, F_GET_SEALS);
ATF_REQUIRE(fcntl(fd, F_GET_SEALS) == 0);
seals = fcntl(fd, F_GET_SEALS);
seals = fcntl(fdx, F_GET_SEALS);
ATF_REQUIRE(fcntl(fd, F_GET_SEALS) == F_SEAL_SEAL);