Searched defs:hdtr_negative_bad_pointers_v4 (Results 1 – 1 of 1) sorted by relevance
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() argument