Searched defs:proof (Results 1 – 3 of 3) sorted by relevance
158 fn proof() { in padding_needed_for() function242 fn proof() { in round_down_to_next_multiple_of_alignment() function
1953 const char *reg_name, const char *type_name, const char *proof, in bpf_diag_mem_bounds()
4361 const char *proof = ""; in check_mem_region_access() local