read_fault
ATF_TC_FSAPPLY(read_fault, "read at bad address must return EFAULT");
ATF_TP_FSAPPLY(read_fault);
ATF_TC(read_fault);
ATF_TC_HEAD(read_fault, tc)
ATF_TC_BODY(read_fault, tc)
ATF_TP_ADD_TC(tp, read_fault);