Searched refs:read_fault (Results 1 – 1 of 1) sorted by relevance
226 read_fault(const atf_tc_t *tc, const char *mp) in read_fault() function251 ATF_TC_FSAPPLY(read_fault, "read at bad address must return EFAULT");265 ATF_TP_FSAPPLY(read_fault); in ATF_TP_ADD_TCS()