Searched refs:hdtr_negative_bad_pointers_v4 (Results 1 – 1 of 1) sorted by relevance
823 ATF_TC(hdtr_negative_bad_pointers_v4);824 ATF_TC_HEAD(hdtr_negative_bad_pointers_v4, tc) in ATF_TC_HEAD() argument830 ATF_TC_BODY(hdtr_negative_bad_pointers_v4, tc) in ATF_TC_BODY() argument1192 ATF_TP_ADD_TC(tp, hdtr_negative_bad_pointers_v4); in ATF_TP_ADD_TCS()