Lines Matching refs:verbose
358 __printf(2, 3) static void verbose(void *private_data, const char *fmt, ...) in verbose() function
378 verbose(env, "%s the register %s has", ctx, reg_name); in verbose_invalid_scalar()
380 verbose(env, " smin=%lld", reg->smin_value); in verbose_invalid_scalar()
384 verbose(env, " smax=%lld", reg->smax_value); in verbose_invalid_scalar()
388 verbose(env, " unknown scalar value"); in verbose_invalid_scalar()
389 verbose(env, " should have been in [%d, %d]\n", range.minval, range.maxval); in verbose_invalid_scalar()
622 verbose(env, "%s has to be at a constant offset\n", obj_kind); in stack_slot_obj_get_spi()
628 verbose(env, "cannot pass in %s at an offset=%d\n", obj_kind, off); in stack_slot_obj_get_spi()
634 verbose(env, "cannot pass in %s at an offset=%d\n", obj_kind, off); in stack_slot_obj_get_spi()
857 verbose(env, "verifier internal error: misconfigured ref_obj_id\n"); in unmark_stack_slots_dynptr()
898 verbose(env, "cannot overwrite referenced dynptr\n"); in destroy_if_dynptr_stack_slot()
1209 verbose(env, "irq flag acquired by %s kfuncs cannot be restored with %s kfuncs\n", in unmark_stack_slot_irq_flag()
1226 verbose(env, "cannot restore irq state out of order, expected id=%d acquired at insn_idx=%d\n", in unmark_stack_slot_irq_flag()
1928 verbose(env, "verifier bug: infinite loop in get_loop_entry()\n"); in get_loop_entry()
2040 verbose(env, "The sequence of %d jumps is too complex.\n", in push_stack()
2129 verbose(env, "mark_reg_known_zero(regs, %u)\n", regno); in mark_reg_known_zero()
2612 verbose(env, "REG INVARIANTS VIOLATION (%s): %s u64=[%#llx, %#llx] " in reg_bounds_sanity_check()
2680 verbose(env, "mark_reg_unknown(regs, %u)\n", regno); in mark_reg_unknown()
2719 verbose(env, "mark_reg_not_init(regs, %u)\n", regno); in mark_reg_not_init()
2803 verbose(env, in push_async_cb()
2888 verbose(env, "call to invalid destination\n"); in add_subprog()
2895 verbose(env, "too many subprograms\n"); in add_subprog()
2921 verbose(env, "invalid btf id for main subprog in func_info\n"); in bpf_find_exception_callback_insn_off()
2932 verbose(env, "multiple exception callback tags for main subprog\n"); in bpf_find_exception_callback_insn_off()
2938 verbose(env, "exception callback '%s' could not be found in BTF\n", name); in bpf_find_exception_callback_insn_off()
2944 verbose(env, "exception callback '%s' must have global linkage\n", name); in bpf_find_exception_callback_insn_off()
2956 verbose(env, "invalid exception callback insn_off in func_info: 0\n"); in bpf_find_exception_callback_insn_off()
2961 verbose(env, "exception callback type id not found in func_info\n"); in bpf_find_exception_callback_insn_off()
3058 verbose(env, "too many different module BTFs\n"); in __find_kfunc_desc_btf()
3063 verbose(env, "kfunc offset > 0 without fd_array is invalid\n"); in __find_kfunc_desc_btf()
3074 verbose(env, "invalid module BTF fd specified\n"); in __find_kfunc_desc_btf()
3079 verbose(env, "BTF fd for kfunc is not a module BTF\n"); in __find_kfunc_desc_btf()
3126 verbose(env, "negative offset disallowed for kernel module function call\n"); in find_kfunc_desc_btf()
3153 verbose(env, "calling kernel function is not supported without CONFIG_DEBUG_INFO_BTF\n"); in add_kfunc_call()
3158 verbose(env, "JIT is required for calling kernel function\n"); in add_kfunc_call()
3163 verbose(env, "JIT does not support calling kernel function\n"); in add_kfunc_call()
3168 verbose(env, "cannot call kernel function from non-GPL compatible program\n"); in add_kfunc_call()
3196 verbose(env, "failed to find BTF for kernel function\n"); in add_kfunc_call()
3204 verbose(env, "too many different kernel function calls\n"); in add_kfunc_call()
3210 verbose(env, "kernel btf_id %u is not a function\n", in add_kfunc_call()
3216 verbose(env, "kernel function btf_id %u does not have a valid func_proto\n", in add_kfunc_call()
3224 verbose(env, "cannot find address for kernel function %s\n", in add_kfunc_call()
3236 verbose(env, "address of kernel function %s is out of range\n", in add_kfunc_call()
3341 …verbose(env, "loading/calling other bpf or kernel functions are allowed for CAP_BPF and CAP_SYS_AD… in add_subprog_and_kfunc()
3382 verbose(env, "func#%d @%d\n", i, subprog[i].start); in add_subprog_and_kfunc()
3424 verbose(env, "jump out of range from insn %d to %d\n", i, off); in check_subprogs()
3436 verbose(env, "last insn is not an exit or jmp\n"); in check_subprogs()
3463 verbose(env, "verifier BUG type %s var_off %lld off %d\n", in mark_reg_read()
3699 verbose(env, "R%d is invalid\n", regno); in __check_reg_arg()
3710 verbose(env, "R%d !read_ok\n", regno); in __check_reg_arg()
3725 verbose(env, "frame pointer is read only\n"); in __check_reg_arg()
3956 .cb_print = verbose, in verbose_insn()
3990 verbose(bt->env, "BUG subprog enter from frame %d\n", bt->frame); in bt_subprog_enter()
4001 verbose(bt->env, "BUG subprog exit from frame 0\n"); in bt_subprog_exit()
4175 verbose(env, "mark_precise: frame%d: regs=%s ", in backtrack_insn()
4178 verbose(env, "stack=%s before ", env->tmp_str_buf); in backtrack_insn()
4179 verbose(env, "%d: ", idx); in backtrack_insn()
4286 verbose(env, "BUG regs %x\n", bt_reg_mask(bt)); in backtrack_insn()
4301 verbose(env, "BUG regs %x\n", bt_reg_mask(bt)); in backtrack_insn()
4309 verbose(env, "BUG stack slots %llx\n", bt_stack_mask(bt)); in backtrack_insn()
4333 verbose(env, "BUG regs %x\n", bt_reg_mask(bt)); in backtrack_insn()
4338 verbose(env, "BUG stack slots %llx\n", bt_stack_mask(bt)); in backtrack_insn()
4361 verbose(env, "BUG regs %x\n", bt_reg_mask(bt)); in backtrack_insn()
4380 verbose(env, "BUG regs %x\n", bt_reg_mask(bt)); in backtrack_insn()
4504 verbose(env, "mark_precise: frame%d: falling back to forcing all scalars precise\n", in mark_all_scalars_precise()
4523 verbose(env, "force_precise: frame%d: forcing r%d to be precise\n", in mark_all_scalars_precise()
4535 verbose(env, "force_precise: frame%d: forcing fp%d to be precise\n", in mark_all_scalars_precise()
4697 verbose(env, "mark_precise: frame%d: last_idx %d first_idx %d subseq_idx %d \n", in __mark_chain_precision()
4722 verbose(env, "BUG backtracking func entry subprog %d reg_mask %x stack_mask %llx\n", in __mark_chain_precision()
4760 verbose(env, "BUG backtracking idx %d\n", i); in __mark_chain_precision()
4787 verbose(env, "BUG backtracking (stack slot %d, total slots %d)\n", in __mark_chain_precision()
4806 verbose(env, "mark_precise: frame%d: parent state regs=%s ", in __mark_chain_precision()
4810 verbose(env, "stack=%s: ", env->tmp_str_buf); in __mark_chain_precision()
5014 verbose(env, "attempt to corrupt spilled pointer on stack\n"); in check_stack_write_fixed_off()
5066 verbose(env, "invalid size of register spill\n"); in check_stack_write_fixed_off()
5070 verbose(env, "cannot spill pointers to stack into stack frame of the caller\n"); in check_stack_write_fixed_off()
5199 verbose(env, "spilled ptr in range of var-offset stack write; insn %d, ptr off: %d", in check_stack_write_var_off()
5235 verbose(env, "uninit stack in range of var-offset write prohibited for !root; insn %d, off: %d", in check_stack_write_var_off()
5326 verbose(env, "invalid size of register fill\n"); in check_stack_read_fixed_off()
5366 verbose(env, "invalid read from stack off %d+%d size %d\n", in check_stack_read_fixed_off()
5400 verbose(env, "leaking pointer from stack off %d\n", in check_stack_read_fixed_off()
5414 verbose(env, "invalid read from stack off %d+%d size %d\n", in check_stack_read_fixed_off()
5507 …verbose(env, "variable offset stack pointer cannot be passed into helper function; var_off=%s off=… in check_stack_read()
5577 verbose(env, "write into map forbidden, value_size=%d off=%d size=%d\n", in check_map_access_type()
5583 verbose(env, "read from map forbidden, value_size=%d off=%d size=%d\n", in check_map_access_type()
5605 verbose(env, "invalid access to map key, key_size=%d off=%d size=%d\n", in __check_mem_access()
5609 verbose(env, "invalid access to map value, value_size=%d off=%d size=%d\n", in __check_mem_access()
5615 verbose(env, "invalid access to packet, off=%d size=%d, R%d(id=%d,off=%d,r=%d)\n", in __check_mem_access()
5620 verbose(env, "invalid access to memory, mem_size=%u off=%d size=%d\n", in __check_mem_access()
5651 …verbose(env, "R%d min value is negative, either use unsigned index or do a if (index >=0) check.\n… in check_mem_region_access()
5658 verbose(env, "R%d min value is outside of the allowed memory range\n", in check_mem_region_access()
5668 verbose(env, "R%d unbounded memory access, make sure to bounds check any such access\n", in check_mem_region_access()
5675 verbose(env, "R%d max value is outside of the allowed memory range\n", in check_mem_region_access()
5692 verbose(env, "negative offset %s ptr R%d off=%d disallowed\n", in __check_ptr_off_reg()
5698 verbose(env, "dereference of modified %s ptr R%d off=%d disallowed\n", in __check_ptr_off_reg()
5707 verbose(env, "variable %s access var_off=%s disallowed\n", in __check_ptr_off_reg()
5786 verbose(env, "invalid kptr access, R%d type=%s%s ", regno, in map_kptr_match_type()
5788 verbose(env, "expected=%s%s", reg_type_str(env, PTR_TO_BTF_ID), targ_name); in map_kptr_match_type()
5790 verbose(env, " or %s%s\n", reg_type_str(env, PTR_TO_BTF_ID | PTR_UNTRUSTED), in map_kptr_match_type()
5793 verbose(env, "\n"); in map_kptr_match_type()
5913 verbose(env, "kptr in map can only be accessed using BPF_MEM instruction mode\n"); in check_map_kptr_access()
5922 verbose(env, "store to referenced kptr disallowed\n"); in check_map_kptr_access()
5926 verbose(env, "store to uptr disallowed\n"); in check_map_kptr_access()
5946 verbose(env, "BPF_ST imm must be 0 when storing to kptr at off=%u\n", in check_map_kptr_access()
5951 verbose(env, "kptr in map can only be accessed using BPF_LDX/BPF_STX/BPF_ST\n"); in check_map_kptr_access()
5993 verbose(env, "%s cannot be accessed indirectly by helper\n", in check_map_access()
5998 verbose(env, "%s access cannot have variable offset\n", in check_map_access()
6003 verbose(env, "%s access misaligned expected=%u off=%llu\n", in check_map_access()
6009 verbose(env, "%s access size must be BPF_DW\n", in check_map_access()
6015 verbose(env, "%s cannot be accessed directly by load/store\n", in check_map_access()
6084 …verbose(env, "R%d min value is negative, either use unsigned index or do a if (index >=0) check.\n… in check_packet_access()
6093 verbose(env, "R%d offset is outside of the packet\n", regno); in check_packet_access()
6126 verbose(env, "invalid bpf_context access off=%d. Reference may already be released\n", in check_ctx_access()
6139 verbose(env, "invalid bpf_context access off=%d size=%d\n", off, size); in check_ctx_access()
6148 verbose(env, "invalid access to flow keys off=%d size=%d\n", in check_flow_keys_access()
6165 …verbose(env, "R%d min value is negative, either use unsigned index or do a if (index >=0) check.\n… in check_sock_access()
6194 verbose(env, "R%d invalid %s access off=%d size=%d\n", in check_sock_access()
6330 verbose(env, in check_pkt_ptr_alignment()
6355 verbose(env, "misaligned %saccess off %s+%d+%d size %d\n", in check_generic_ptr_alignment()
6498 verbose(env, in check_max_stack_depth_subprog()
6517 verbose(env, "stack size of subprog %d is %d. Too large\n", in check_max_stack_depth_subprog()
6524 verbose(env, "combined stack size of %d calls is %d. Too large\n", in check_max_stack_depth_subprog()
6549 verbose(env, in check_max_stack_depth_subprog()
6571 verbose(env, "verifier bug. subprog has tail_call and async cb\n"); in check_max_stack_depth_subprog()
6578 verbose(env, "insn %d cannot call exception cb directly\n", i); in check_max_stack_depth_subprog()
6592 verbose(env, "the call stack of %d frames is too deep !\n", in check_max_stack_depth_subprog()
6606 verbose(env, "cannot tail call within exception cb\n"); in check_max_stack_depth_subprog()
6693 verbose(env, in __check_buffer_access()
6702 verbose(env, in __check_buffer_access()
7110 verbose(env, in check_ptr_to_btf_access()
7116 verbose(env, in check_ptr_to_btf_access()
7122 verbose(env, in check_ptr_to_btf_access()
7131 verbose(env, in check_ptr_to_btf_access()
7138 verbose(env, in check_ptr_to_btf_access()
7145 verbose(env, in check_ptr_to_btf_access()
7153 verbose(env, "verifier internal error: reg->btf must be kernel btf\n"); in check_ptr_to_btf_access()
7163 verbose(env, "only read is supported\n"); in check_ptr_to_btf_access()
7169 verbose(env, "verifier internal error: ref_obj_id for allocated object must be non-zero\n"); in check_ptr_to_btf_access()
7261 verbose(env, "map_ptr access not supported without CONFIG_DEBUG_INFO_BTF\n"); in check_ptr_to_map_access()
7266 verbose(env, "map_ptr access not supported for map type %d\n", in check_ptr_to_map_access()
7275 verbose(env, in check_ptr_to_map_access()
7282 verbose(env, "R%d is %s invalid negative access: off=%d\n", in check_ptr_to_map_access()
7288 verbose(env, "only read from %s is supported\n", tname); in check_ptr_to_map_access()
7356 verbose(env, "invalid unbounded variable-offset%s stack R%d\n", in check_stack_access_within_bounds()
7375 verbose(env, "invalid%s stack R%d off=%d size=%d\n", in check_stack_access_within_bounds()
7381 verbose(env, "invalid variable-offset%s stack R%d var_off=%s off=%d size=%d\n", in check_stack_access_within_bounds()
7432 verbose(env, "write to change key R%d not allowed\n", regno); in check_mem_access()
7447 verbose(env, "R%d leaks addr into map\n", value_regno); in check_mem_access()
7486 verbose(env, "R%d invalid mem access '%s'\n", regno, in check_mem_access()
7492 verbose(env, "R%d cannot write into %s\n", in check_mem_access()
7499 verbose(env, "R%d leaks addr into mem\n", value_regno); in check_mem_access()
7517 verbose(env, "R%d leaks addr into ctx\n", value_regno); in check_mem_access()
7576 verbose(env, "cannot write into packet\n"); in check_mem_access()
7581 verbose(env, "R%d leaks addr into packet\n", in check_mem_access()
7591 verbose(env, "R%d leaks addr into flow keys\n", in check_mem_access()
7601 verbose(env, "R%d cannot write into %s\n", in check_mem_access()
7625 verbose(env, "R%d cannot write into %s\n", in check_mem_access()
7643 verbose(env, "R%d invalid mem access '%s'\n", regno, in check_mem_access()
7730 verbose(env, "invalid atomic operand size\n"); in check_atomic_rmw()
7753 verbose(env, "R%d leaks addr into mem\n", aux_reg); in check_atomic_rmw()
7759 verbose(env, "R%d leaks addr into mem\n", insn->src_reg); in check_atomic_rmw()
7764 verbose(env, "BPF_ATOMIC stores into R%d %s is not allowed\n", in check_atomic_rmw()
7822 verbose(env, "BPF_ATOMIC loads from R%d %s is not allowed\n", in check_atomic_load()
7841 verbose(env, "BPF_ATOMIC stores into R%d %s is not allowed\n", in check_atomic_store()
7866 verbose(env, in check_atomic()
7873 verbose(env, in check_atomic()
7879 verbose(env, "BPF_ATOMIC uses invalid atomic opcode %02x\n", in check_atomic()
7909 verbose(env, "invalid zero-sized read\n"); in check_stack_range_initialized()
7933 verbose(env, "R%d variable offset stack access prohibited for !root, var_off=%s\n", in check_stack_range_initialized()
7972 verbose(env, "potential write to dynptr at off=%d disallowed\n", i); in check_stack_range_initialized()
7987 verbose(env, "verifier bug: allocated_stack too small\n"); in check_stack_range_initialized()
8015 verbose(env, "invalid read from stack R%d off %d+%d size %d\n", in check_stack_range_initialized()
8021 verbose(env, "invalid read from stack R%d var_off %s+%d size %d\n", in check_stack_range_initialized()
8056 verbose(env, "R%d cannot write into %s\n", regno, in check_helper_mem_access()
8070 verbose(env, "R%d cannot write into %s\n", regno, in check_helper_mem_access()
8081 verbose(env, "R%d cannot write into %s\n", regno, in check_helper_mem_access()
8125 verbose(env, "R%d type=%s ", regno, in check_helper_mem_access()
8127 verbose(env, "expected=%s\n", reg_type_str(env, PTR_TO_STACK)); in check_helper_mem_access()
8165 verbose(env, "R%d min value is negative, either use unsigned or 'var &= const'\n", in check_mem_size_reg()
8171 verbose(env, "R%d invalid zero-sized read: u64=[%lld,%lld]\n", in check_mem_size_reg()
8177 verbose(env, "R%d unbounded memory access, use 'var &= const' or 'if (var < const)'\n", in check_mem_size_reg()
8287 verbose(env, in process_spin_lock()
8295 verbose(env, in process_spin_lock()
8306 verbose(env, "%s '%s' has no valid %s_lock\n", map ? "map" : "local", in process_spin_lock()
8312 verbose(env, "off %lld doesn't point to 'struct %s_lock' that is at %d\n", in process_spin_lock()
8327 verbose(env, in process_spin_lock()
8333 verbose(env, "Acquiring the same lock again, AA deadlock detected\n"); in process_spin_lock()
8346 verbose(env, "Failed to acquire lock state\n"); in process_spin_lock()
8359 verbose(env, "%s_unlock without taking a lock\n", lock_str); in process_spin_lock()
8370 verbose(env, "%s_unlock of different lock\n", lock_str); in process_spin_lock()
8374 verbose(env, "%s_unlock cannot be out of order\n", lock_str); in process_spin_lock()
8378 verbose(env, "%s_unlock of different lock\n", lock_str); in process_spin_lock()
8396 verbose(env, in process_timer_func()
8402 verbose(env, "map '%s' has to have BTF in order to use bpf_timer\n", in process_timer_func()
8407 verbose(env, "map '%s' has no valid bpf_timer\n", map->name); in process_timer_func()
8411 verbose(env, "off %lld doesn't point to 'struct bpf_timer' that is at %d\n", in process_timer_func()
8416 verbose(env, "verifier bug. Two map pointers in a timer helper\n"); in process_timer_func()
8432 verbose(env, "off %lld doesn't point to 'struct bpf_wq' that is at %d\n", in process_wq_func()
8455 verbose(env, "map '%s' has to have BTF in order to use bpf_kptr_xchg\n", in process_kptr_func()
8464 verbose(env, in process_kptr_func()
8471 verbose(env, "R%d has no valid kptr\n", regno); in process_kptr_func()
8478 verbose(env, "off=%d doesn't point to kptr\n", kptr_off); in process_kptr_func()
8482 verbose(env, "off=%d kptr isn't referenced kptr\n", kptr_off); in process_kptr_func()
8521 verbose(env, in process_dynptr_func()
8531 verbose(env, "verifier internal error: misconfigured dynptr helper type flags\n"); in process_dynptr_func()
8554 verbose(env, "Dynptr has to be an uninitialized dynptr\n"); in process_dynptr_func()
8570 verbose(env, "cannot pass pointer to const bpf_dynptr, the helper mutates it\n"); in process_dynptr_func()
8575 verbose(env, in process_dynptr_func()
8583 verbose(env, in process_dynptr_func()
8642 verbose(env, "arg#%d expected pointer to an iterator on stack\n", regno - 1); in process_iter_arg()
8654 verbose(env, "expected valid iter pointer as arg #%d\n", regno - 1); in process_iter_arg()
8663 verbose(env, "expected uninitialized iter_%s as arg #%d\n", in process_iter_arg()
8687 verbose(env, "expected an initialized iter_%s as arg #%d\n", in process_iter_arg()
8691 verbose(env, "expected an RCU CS when using %s\n", meta->func_name); in process_iter_arg()
8897 verbose(env, "verifier internal error: unexpected iterator state %d (%s)\n", in process_iter_next_call()
8908 verbose(env, "bug: bad parent state for iter next call"); in process_iter_next_call()
8967 verbose(env, "invalid map_ptr to access map->type\n"); in resolve_map_arg_type()
8977 verbose(env, "invalid arg_type for sockmap/sockhash\n"); in resolve_map_arg_type()
9114 verbose(env, "verifier internal error: unsupported arg type %d\n", arg_type); in check_reg_type()
9152 verbose(env, "R%d type=%s expected=", regno, reg_type_str(env, reg->type)); in check_reg_type()
9154 verbose(env, "%s, ", reg_type_str(env, compatible->types[j])); in check_reg_type()
9155 verbose(env, "%s\n", reg_type_str(env, compatible->types[j])); in check_reg_type()
9164 verbose(env, in check_reg_type()
9190 verbose(env, "Possibly NULL pointer passed to helper arg%d\n", regno); in check_reg_type()
9196 verbose(env, "verifier internal error: missing arg compatible BTF ID\n"); in check_reg_type()
9207 verbose(env, "verifier internal error:"); in check_reg_type()
9208 verbose(env, "R%d has non-overwritten BPF_PTR_POISON type\n", in check_reg_type()
9216 verbose(env, "R%d is of type %s but %s is expected\n", in check_reg_type()
9228 verbose(env, "verifier internal error: unimplemented handling of MEM_ALLOC\n"); in check_reg_type()
9243 verbose(env, "verifier internal error: invalid PTR_TO_BTF_ID register for type match\n"); in check_reg_type()
9293 verbose(env, "R%d must have zero offset when passed to release func or trusted arg to kfunc\n", in check_func_arg_reg_off()
9347 verbose(env, "verifier internal error: multiple dynptr args\n"); in get_dynptr_arg_reg()
9354 verbose(env, "verifier internal error: no dynptr arg found\n"); in get_dynptr_arg_reg()
9396 verbose(env, "verifier internal error: invalid spi when querying dynptr type\n"); in dynptr_get_type()
9416 verbose(env, "R%d does not point to a readonly map'\n", regno); in check_reg_const_str()
9421 verbose(env, "R%d is not a constant address'\n", regno); in check_reg_const_str()
9426 verbose(env, "no direct value access support for this map type\n"); in check_reg_const_str()
9439 verbose(env, "direct value access on string failed\n"); in check_reg_const_str()
9445 verbose(env, "string is not zero-terminated\n"); in check_reg_const_str()
9536 verbose(env, "R%d leaks addr into helper function\n", in check_func_arg()
9545 verbose(env, "helper access to the packet is not allowed\n"); in check_func_arg()
9588 verbose(env, "arg %d is an unacquired reference\n", regno); in check_func_arg()
9592 verbose(env, "cannot release unowned const bpf_dynptr\n"); in check_func_arg()
9596 verbose(env, "R%d must be referenced when passed to release function\n", in check_func_arg()
9601 verbose(env, "verifier internal error: more than one release argument\n"); in check_func_arg()
9609 verbose(env, "verifier internal error: more than one arg with ref_obj_id R%d %u %u\n", in check_func_arg()
9635 verbose(env, in check_func_arg()
9655 verbose(env, "invalid map_ptr to access map->key\n"); in check_func_arg()
9682 verbose(env, "invalid map_ptr to access map->value\n"); in check_func_arg()
9692 verbose(env, "Helper has invalid btf_id in R%d\n", regno); in check_func_arg()
9700 verbose(env, "can't spin_{lock,unlock} in rbtree cb\n"); in check_func_arg()
9712 verbose(env, "verifier internal error\n"); in check_func_arg()
9758 verbose(env, "R%d is not a known constant'\n", in check_func_arg()
9818 verbose(env, "cannot update sockmap in this context\n"); in may_update_sockmap()
9966 verbose(env, "mixing of tail_calls and bpf-to-bpf calls is not supported\n"); in check_map_func_compatibility()
10074 verbose(env, "cannot pass map_type %d into func %s#%d\n", in check_map_func_compatibility()
10282 verbose(env, "the call stack of %d frames is too deep\n", in setup_func_entry()
10288 verbose(env, "verifier bug. Frame %d already allocated\n", in setup_func_entry()
10467 verbose(env, "verifier bug: kfunc %s#%d not marked as callback-calling\n", in push_callback_call()
10472 verbose(env, "verifier bug: helper %s#%d not marked as callback-calling\n", in push_callback_call()
10526 verbose(env, "verifier bug. No program starts at insn %d\n", target_insn); in check_func_call()
10538 verbose(env, "global function calls are not allowed while holding a lock,\n" in check_func_call()
10546 verbose(env, "global functions that may sleep are not allowed in non-sleepable context,\n" in check_func_call()
10553 verbose(env, "Caller passes invalid args into func#%d ('%s')\n", in check_func_call()
10558 verbose(env, "Func#%d ('%s') is global and assumed valid.\n", in check_func_call()
10587 verbose(env, "caller:\n"); in check_func_call()
10589 verbose(env, "callee:\n"); in check_func_call()
10650 verbose(env, "callback function not allowed for map\n"); in set_map_elem_callback_state()
10849 verbose(env, "cannot return stack pointer to the caller\n"); in prepare_func_exit()
10856 verbose(env, "R0 not a scalar value\n"); in prepare_func_exit()
10873 verbose(env, "BUG: in callback at %d, callsite %d !calls_callback\n", in prepare_func_exit()
10893 verbose(env, "returning from callee:\n"); in prepare_func_exit()
10895 verbose(env, "to caller at %d:\n", *insn_idx); in prepare_func_exit()
10981 verbose(env, "kernel subsystem misconfigured verifier\n"); in record_func_map()
10994 verbose(env, "write into map forbidden\n"); in record_func_map()
11020 verbose(env, "kernel subsystem misconfigured verifier\n"); in record_func_key()
11064 verbose(env, "Unreleased reference id=%d alloc_insn=%d\n", in check_reference_leak()
11076 verbose(env, "%s cannot be used inside bpf_spin_lock-ed region\n", prefix); in check_resource_leak()
11082 verbose(env, "%s would lead to reference leak\n", prefix); in check_resource_leak()
11087 verbose(env, "%s cannot be used inside bpf_local_irq_save-ed region\n", prefix); in check_resource_leak()
11092 verbose(env, "%s cannot be used inside bpf_rcu_read_lock-ed region\n", prefix); in check_resource_leak()
11097 verbose(env, "%s cannot be used inside bpf_preempt_disable-ed region\n", prefix); in check_resource_leak()
11127 verbose(env, "verifier bug\n"); in check_bpf_snprintf_call()
11137 verbose(env, "Invalid format string\n"); in check_bpf_snprintf_call()
11149 verbose(env, "func %s#%d supported only for fentry/fexit/fmod_ret programs\n", in check_get_func_ip()
11158 verbose(env, "func %s#%d not supported for program type %d\n", in check_get_func_ip()
11244 verbose(env, "invalid func %s#%d\n", func_id_name(func_id), func_id); in check_helper_call()
11249 verbose(env, "program of this type cannot use helper %s#%d\n", in check_helper_call()
11256 verbose(env, "cannot call GPL-restricted function from non-GPL compatible program\n"); in check_helper_call()
11261 verbose(env, "helper call is not allowed in probe\n"); in check_helper_call()
11266 verbose(env, "helper call might sleep in a non-sleepable prog\n"); in check_helper_call()
11273 verbose(env, "kernel subsystem misconfigured func %s#%d: r1 != ctx\n", in check_helper_call()
11283 verbose(env, "kernel subsystem misconfigured func %s#%d\n", in check_helper_call()
11290 verbose(env, "sleepable helper %s#%d in rcu_read_lock region\n", in check_helper_call()
11301 verbose(env, "sleepable helper %s#%d in non-preemptible region\n", in check_helper_call()
11312 verbose(env, "sleepable helper %s#%d in IRQ-disabled region\n", in check_helper_call()
11357 verbose(env, "verifier internal error: CONST_PTR_TO_DYNPTR cannot be released\n"); in check_helper_call()
11390 verbose(env, "func %s#%d reference has not been acquired before\n", in check_helper_call()
11407 verbose(env, "get_local_storage() doesn't support non-zero flags\n"); in check_helper_call()
11440 verbose(env, "frame%d bpf_loop iteration limit reached\n", in check_helper_call()
11446 verbose(env, "Unsupported reg type %s for bpf_dynptr_from_mem data\n", in check_helper_call()
11458 verbose(env, "BPF_LSM_CGROUP that attach to void LSM hooks can't modify return value!\n"); in check_helper_call()
11474 verbose(env, "verifier internal error: meta.dynptr_id already set\n"); in check_helper_call()
11478 verbose(env, "verifier internal error: meta.ref_obj_id already set\n"); in check_helper_call()
11484 verbose(env, "verifier internal error: failed to obtain dynptr id\n"); in check_helper_call()
11490 verbose(env, "verifier internal error: failed to obtain dynptr ref_obj_id\n"); in check_helper_call()
11529 verbose(env, "Helper has invalid btf/btf_id in R1\n"); in check_helper_call()
11575 verbose(env, in check_helper_call()
11626 verbose(env, "unable to resolve the size of type '%s': %ld\n", in check_helper_call()
11667 verbose(env, "verifier internal error:"); in check_helper_call()
11668 verbose(env, "func %s has non-overwritten BPF_PTR_POISON return type\n", in check_helper_call()
11676 verbose(env, "invalid return type %u of func %s#%d\n", in check_helper_call()
11686 verbose(env, "unknown return type %u of func %s#%d\n", in check_helper_call()
11695 verbose(env, "verifier internal error: func %s#%d sets ref_obj_id more than once\n", in check_helper_call()
11738 verbose(env, err_str, func_id_name(func_id), func_id); in check_helper_call()
12020 verbose(env, "max struct nesting depth exceeded\n"); in __btf_type_is_scalar_struct()
12295 verbose(env, "kernel function %s args#%d pointer type %s %s is not supported\n", in get_kfunc_ptr_arg_type()
12317 verbose(env, "arg#%d pointer type %s %s must point to %sscalar, or struct with scalar\n", in get_kfunc_ptr_arg_type()
12388 …verbose(env, "kernel function %s args#%d expected pointer to %s %s but R%d has a pointer to %s %s\… in process_kf_arg_ptr_to_btf_id()
12414 verbose(env, "verifier internal error: unknown irq flags kfunc\n"); in process_irq_flag()
12420 verbose(env, "expected uninitialized irq flag as arg#%d\n", regno - 1); in process_irq_flag()
12434 verbose(env, "expected an initialized irq flag as arg#%d\n", regno - 1); in process_irq_flag()
12455 verbose(env, "verifier internal error: ref_set_non_owning w/o active lock\n"); in ref_set_non_owning()
12460 verbose(env, "verifier internal error: NON_OWN_REF already set\n"); in ref_set_non_owning()
12479 verbose(env, "verifier internal error: ref_obj_id is zero for " in ref_convert_owning_non_owning()
12500 verbose(env, "verifier internal error: ref state missing for ref_obj_id\n"); in ref_convert_owning_non_owning()
12562 verbose(env, "verifier internal error: unknown reg type for lock check\n"); in check_reg_allocation_locked()
12571 verbose(env, "held lock and object are not in the same allocation\n"); in check_reg_allocation_locked()
12665 verbose(env, "verifier internal error: unexpected graph root argument type %s\n", in check_kfunc_is_graph_root_api()
12671 verbose(env, "verifier internal error: %s head arg for unknown kfunc\n", in check_kfunc_is_graph_root_api()
12692 verbose(env, "verifier internal error: unexpected graph node argument type %s\n", in check_kfunc_is_graph_node_api()
12698 verbose(env, "verifier internal error: %s node arg for unknown kfunc\n", in check_kfunc_is_graph_node_api()
12716 verbose(env, "verifier internal error: unexpected btf mismatch in kfunc call\n"); in __process_kf_arg_ptr_to_graph_root()
12725 verbose(env, in __process_kf_arg_ptr_to_graph_root()
12735 verbose(env, "%s not found at offset=%u\n", head_type_name, head_off); in __process_kf_arg_ptr_to_graph_root()
12741 verbose(env, "bpf_spin_lock at off=%d must be held for %s\n", in __process_kf_arg_ptr_to_graph_root()
12747 verbose(env, "verifier internal error: repeating %s arg\n", head_type_name); in __process_kf_arg_ptr_to_graph_root()
12784 verbose(env, "verifier internal error: unexpected btf mismatch in kfunc call\n"); in __process_kf_arg_ptr_to_graph_node()
12793 verbose(env, in __process_kf_arg_ptr_to_graph_node()
12802 verbose(env, "%s not found at offset=%u\n", node_type_name, node_off); in __process_kf_arg_ptr_to_graph_node()
12812 verbose(env, "operation on %s expects arg#1 %s at offset=%d " in __process_kf_arg_ptr_to_graph_node()
12825 verbose(env, "arg#1 offset=%d, but expected %s at offset=%d in struct %s\n", in __process_kf_arg_ptr_to_graph_node()
12888 verbose(env, "Function %s has %d > %d args\n", func_name, nargs, in check_kfunc_args()
12911 verbose(env, "R%d is not a scalar\n", regno); in check_kfunc_args()
12917 verbose(env, "verifier internal error: only one constant argument permitted\n"); in check_kfunc_args()
12921 verbose(env, "R%d must be a known constant\n", regno); in check_kfunc_args()
12938 verbose(env, "2 or more rdonly/rdwr_buf_size parameters for kfunc"); in check_kfunc_args()
12943 verbose(env, "R%d is not a const\n", regno); in check_kfunc_args()
12956 verbose(env, "Unrecognized arg#%d type %s\n", i, btf_type_str(t)); in check_kfunc_args()
12963 verbose(env, "Possibly NULL pointer passed to trusted arg%d\n", i); in check_kfunc_args()
12969 verbose(env, "verifier internal error: more than one arg with ref_obj_id R%d %u %u\n", in check_kfunc_args()
12991 verbose(env, "pointer in R%d isn't map pointer\n", regno); in check_kfunc_args()
13009 verbose(env, in check_kfunc_args()
13025 verbose(env, "R%d must be referenced or trusted\n", regno); in check_kfunc_args()
13029 verbose(env, "R%d must be a rcu pointer\n", regno); in check_kfunc_args()
13064 verbose(env, "arg#%d expected pointer to ctx, but got %s\n", in check_kfunc_args()
13079 verbose(env, "arg#%d expected for bpf_obj_drop_impl()\n", i); in check_kfunc_args()
13084 verbose(env, "arg#%d expected for bpf_percpu_obj_drop_impl()\n", i); in check_kfunc_args()
13088 verbose(env, "arg#%d expected pointer to allocated object\n", i); in check_kfunc_args()
13092 verbose(env, "allocated object must be referenced\n"); in check_kfunc_args()
13120 verbose(env, "verifier internal error: no dynptr type for parent of clone\n"); in check_kfunc_args()
13127 verbose(env, "verifier internal error: missing ref obj id for parent of clone\n"); in check_kfunc_args()
13140 verbose(env, "verifier internal error: failed to obtain dynptr id\n"); in check_kfunc_args()
13153 verbose(env, "css_task_iter is only allowed in bpf_lsm, bpf_iter and sleepable progs\n"); in check_kfunc_args()
13164 verbose(env, "arg#%d expected pointer to map value or allocated object\n", i); in check_kfunc_args()
13168 verbose(env, "allocated object must be referenced\n"); in check_kfunc_args()
13178 verbose(env, "arg#%d expected pointer to map value or allocated object\n", i); in check_kfunc_args()
13182 verbose(env, "allocated object must be referenced\n"); in check_kfunc_args()
13191 verbose(env, "arg#%d expected pointer to allocated object\n", i); in check_kfunc_args()
13195 verbose(env, "allocated object must be referenced\n"); in check_kfunc_args()
13205 verbose(env, "rbtree_remove node input must be non-owning ref\n"); in check_kfunc_args()
13209 verbose(env, "rbtree_remove not allowed in rbtree cb\n"); in check_kfunc_args()
13214 verbose(env, "arg#%d expected pointer to allocated object\n", i); in check_kfunc_args()
13218 verbose(env, "allocated object must be referenced\n"); in check_kfunc_args()
13238 verbose(env, "arg#%d is %s ", i, reg_type_str(env, reg->type)); in check_kfunc_args()
13239 verbose(env, "expected %s or socket\n", in check_kfunc_args()
13251 verbose(env, "arg#%d reference type('%s %s') size cannot be determined: %ld\n", in check_kfunc_args()
13269 verbose(env, "arg#%d arg#%d memory, len pair leads to invalid memory access\n", i, i + 1); in check_kfunc_args()
13276 verbose(env, "verifier internal error: only one constant argument permitted\n"); in check_kfunc_args()
13280 verbose(env, "R%d must be a known constant\n", regno + 1); in check_kfunc_args()
13293 verbose(env, "arg%d expected pointer to func\n", i); in check_kfunc_args()
13300 verbose(env, "arg#%d is neither owning or non-owning ref\n", i); in check_kfunc_args()
13308 verbose(env, "verifier internal error: Couldn't find btf_record\n"); in check_kfunc_args()
13313 verbose(env, "arg#%d doesn't point to a type with bpf_refcount field\n", i); in check_kfunc_args()
13322 verbose(env, "arg#%d doesn't point to a const string\n", i); in check_kfunc_args()
13331 verbose(env, "arg#%d doesn't point to a map value\n", i); in check_kfunc_args()
13340 verbose(env, "arg#%d doesn't point to an irq flag on stack\n", i); in check_kfunc_args()
13352 verbose(env, "arg#%d doesn't point to map value or allocated object\n", i); in check_kfunc_args()
13373 verbose(env, "release kernel function %s expects refcounted PTR_TO_BTF_ID\n", in check_kfunc_args()
13446 verbose(env, "calling kernel function %s is not allowed\n", func_name); in check_kfunc_call()
13462 verbose(env, "failed to push state for failed lock acquisition\n"); in check_kfunc_call()
13475 verbose(env, "failed to mark s32 range for retval in forked state for lock\n"); in check_kfunc_call()
13482 verbose(env, "destructive kfunc calls require CAP_SYS_BOOT capability\n"); in check_kfunc_call()
13488 verbose(env, "program must be sleepable to call sleepable kfunc %s\n", func_name); in check_kfunc_call()
13501 verbose(env, "kfunc %s#%d failed callback verification\n", in check_kfunc_call()
13516 verbose(env, "kfunc %s#%d failed callback verification\n", in check_kfunc_call()
13534 verbose(env, "Calling bpf_rcu_read_{lock,unlock} in unnecessary rbtree callback\n"); in check_kfunc_call()
13539 verbose(env, "nested rcu read lock (kernel function %s)\n", func_name); in check_kfunc_call()
13550 verbose(env, "kernel func %s is sleepable within rcu_read_lock region\n", func_name); in check_kfunc_call()
13556 verbose(env, "unmatched rcu read unlock (kernel function %s)\n", func_name); in check_kfunc_call()
13566 verbose(env, "kernel func %s is sleepable within non-preemptible region\n", func_name); in check_kfunc_call()
13572 verbose(env, "unmatched attempt to enable preemption (kernel function %s)\n", func_name); in check_kfunc_call()
13577 verbose(env, "kernel func %s is sleepable within IRQ-disabled region\n", func_name); in check_kfunc_call()
13587 verbose(env, "kfunc %s#%d reference has not been acquired before\n", in check_kfunc_call()
13601 verbose(env, "kfunc %s#%d conversion of owning ref to non-owning failed\n", in check_kfunc_call()
13608 verbose(env, "kfunc %s#%d reference has not been acquired before\n", in check_kfunc_call()
13616 verbose(env, "JIT does not support calling kfunc %s#%d\n", in check_kfunc_call()
13644 verbose(env, "acquire kernel function does not return PTR_TO_BTF_ID\n"); in check_kfunc_call()
13669 verbose(env, "local type ID argument must be in range [0, U32_MAX]\n"); in check_kfunc_call()
13678 verbose(env, "bpf_obj_new/bpf_percpu_obj_new requires prog BTF\n"); in check_kfunc_call()
13684 verbose(env, "bpf_obj_new/bpf_percpu_obj_new type ID argument must be of a struct\n"); in check_kfunc_call()
13690 verbose(env, "bpf_percpu_obj_new type size (%d) is greater than %d\n", in check_kfunc_call()
13720 verbose(env, "bpf_percpu_obj_new type ID argument must be of a struct of scalars\n"); in check_kfunc_call()
13725 verbose(env, "bpf_percpu_obj_new type ID argument must not contain special fields\n"); in check_kfunc_call()
13766 verbose(env, in check_kfunc_call()
13782 verbose(env, "verifier internal error: bpf_dynptr_slice(_rdwr) no constant size\n"); in check_kfunc_call()
13796 verbose(env, "the prog does not allow writes to packet data\n"); in check_kfunc_call()
13802 verbose(env, "verifier internal error: no dynptr id\n"); in check_kfunc_call()
13812 verbose(env, "kernel function %s unhandled dynamic return type\n", in check_kfunc_call()
13831 verbose(env, in check_kfunc_call()
13932 verbose(env, "math between %s pointer and %lld is not allowed\n", in check_reg_sane_offset()
13938 verbose(env, "%s pointer offset %d is not allowed\n", in check_reg_sane_offset()
13944 verbose(env, "math between %s pointer and register with unbounded min value is not allowed\n", in check_reg_sane_offset()
13950 verbose(env, "value %lld makes %s pointer be out of bounds\n", in check_reg_sane_offset()
14182 verbose(env, "R%d has unknown scalar with mixed signed bounds, %s\n", in sanitize_err()
14186 verbose(env, "R%d has pointer with unsupported alu operation, %s\n", in sanitize_err()
14190 verbose(env, "R%d tried to %s from different maps, paths or scalars, %s\n", in sanitize_err()
14194 verbose(env, "R%d tried to %s beyond pointer bounds, %s\n", in sanitize_err()
14198 verbose(env, "R%d could not be pushed for speculative verification, %s\n", in sanitize_err()
14202 verbose(env, "verifier internal error: unknown reason (%d)\n", in sanitize_err()
14230 verbose(env, "R%d variable stack access prohibited for !root, var_off=%s off=%d\n", in check_stack_access_for_ptr_arithmetic()
14236 verbose(env, "R%d stack pointer arithmetic goes out of range, " in check_stack_access_for_ptr_arithmetic()
14264 verbose(env, "R%d pointer arithmetic of map value goes out of range, " in sanitize_check_bounds()
14317 verbose(env, in adjust_ptr_min_max_vals()
14324 verbose(env, "R%d pointer arithmetic on %s prohibited, null-check it first\n", in adjust_ptr_min_max_vals()
14353 verbose(env, "R%d pointer arithmetic on %s prohibited\n", in adjust_ptr_min_max_vals()
14426 verbose(env, "R%d tried to subtract pointer from scalar\n", in adjust_ptr_min_max_vals()
14435 verbose(env, "R%d subtraction from stack pointer prohibited\n", in adjust_ptr_min_max_vals()
14484 verbose(env, "R%d bitwise operator %s on pointer prohibited\n", in adjust_ptr_min_max_vals()
14489 verbose(env, "R%d pointer arithmetic with %s operator prohibited\n", in adjust_ptr_min_max_vals()
15220 verbose(env, "R%d pointer %s pointer prohibited\n", in adjust_reg_min_max_vals()
15263 verbose(env, "verifier internal error: unexpected ptr_reg\n"); in adjust_reg_min_max_vals()
15268 verbose(env, "verifier internal error: no src_reg\n"); in adjust_reg_min_max_vals()
15323 verbose(env, "BPF_NEG uses reserved fields\n"); in check_alu_op()
15331 verbose(env, "BPF_END uses reserved fields\n"); in check_alu_op()
15342 verbose(env, "R%d pointer arithmetic prohibited\n", in check_alu_op()
15358 verbose(env, "BPF_MOV uses reserved fields\n"); in check_alu_op()
15363 verbose(env, "addr_space_cast insn can only convert between address space 1 and 0\n"); in check_alu_op()
15367 … verbose(env, "addr_space_cast insn can only be used in a program that has an associated arena\n"); in check_alu_op()
15373 verbose(env, "BPF_MOV uses reserved fields\n"); in check_alu_op()
15384 verbose(env, "BPF_MOV uses reserved fields\n"); in check_alu_op()
15418 verbose(env, in check_alu_op()
15441 verbose(env, in check_alu_op()
15497 verbose(env, "invalid BPF_ALU opcode %x\n", opcode); in check_alu_op()
15505 verbose(env, "BPF_ALU uses reserved fields\n"); in check_alu_op()
15515 verbose(env, "BPF_ALU uses reserved fields\n"); in check_alu_op()
15527 verbose(env, "div by zero\n"); in check_alu_op()
15536 verbose(env, "invalid shift %d\n", insn->imm); in check_alu_op()
16386 verbose(env, "invalid BPF_JMP/JMP32 opcode %x\n", opcode); in check_cond_jmp_op()
16397 verbose(env, "invalid may_goto imm %d\n", insn->imm); in check_cond_jmp_op()
16422 verbose(env, "BPF_JMP/JMP32 uses reserved fields\n"); in check_cond_jmp_op()
16434 verbose(env, "R%d pointer comparison prohibited\n", in check_cond_jmp_op()
16440 verbose(env, "BPF_JMP/JMP32 uses reserved fields\n"); in check_cond_jmp_op()
16600 verbose(env, "R%d pointer comparison prohibited\n", in check_cond_jmp_op()
16619 verbose(env, "invalid BPF_LD_IMM insn\n"); in check_ld_imm()
16623 verbose(env, "BPF_LD_IMM64 uses reserved fields\n"); in check_ld_imm()
16657 verbose(env, "bpf verifier is misconfigured\n"); in check_ld_imm()
16669 verbose(env, "missing btf func_info\n"); in check_ld_imm()
16673 verbose(env, "callback function not static\n"); in check_ld_imm()
16699 verbose(env, "bpf verifier is misconfigured\n"); in check_ld_imm()
16741 verbose(env, "BPF_LD_[ABS|IND] instructions not allowed for this program type\n"); in check_ld_abs()
16746 verbose(env, "bpf verifier is misconfigured\n"); in check_ld_abs()
16753 verbose(env, "BPF_LD_[ABS|IND] uses reserved fields\n"); in check_ld_abs()
16771 verbose(env, in check_ld_abs()
16861 verbose(env, "R%d leaks addr as return value\n", regno); in check_return_code()
16874 verbose(env, "At subprogram exit the register R%d is not a scalar value (%s)\n", in check_return_code()
16978 verbose(env, "%s the register R%d is not a known value (%s)\n", in check_return_code()
16993 verbose(env, "Note, BPF_LSM_CGROUP that attach to void LSM hooks can't modify return value!\n"); in check_return_code()
17128 verbose(env, "jump out of range from insn %d to %d\n", t, w); in push_insn()
17151 verbose(env, "back-edge from insn %d to %d\n", t, w); in push_insn()
17157 verbose(env, "insn state internal bug\n"); in push_insn()
17617 verbose(env, "visit_insn internal bug\n"); in check_cfg()
17625 verbose(env, "pop stack internal bug\n"); in check_cfg()
17641 verbose(env, "unreachable insn %d\n", i); in check_cfg()
17647 verbose(env, "jump into the middle of ldimm64 insn %d\n", i); in check_cfg()
17671 verbose(env, "LD_ABS is not allowed in subprogs without BTF\n"); in check_abnormal_return()
17675 verbose(env, "tail_call is not allowed in subprogs without BTF\n"); in check_abnormal_return()
17711 verbose(env, "invalid func info rec size %u\n", urec_size); in check_btf_func_early()
17729 verbose(env, "nonzero tailing record in func info"); in check_btf_func_early()
17750 verbose(env, in check_btf_func_early()
17756 verbose(env, in check_btf_func_early()
17765 verbose(env, "invalid type id %d in func info", in check_btf_func_early()
17809 verbose(env, "number of funcs in func_info doesn't match number of subprogs\n"); in check_btf_func()
17830 verbose(env, "func_info BTF section doesn't match subprog layout in BPF program\n"); in check_btf_func()
17844 verbose(env, "LD_ABS is only allowed in functions that return 'int'.\n"); in check_btf_func()
17848 verbose(env, "tail_call is only allowed in functions that return 'int'.\n"); in check_btf_func()
17923 verbose(env, "nonzero tailing record in line_info"); in check_btf_line()
17950 verbose(env, "Invalid line_info[%u].insn_off:%u (prev_offset:%u prog->len:%u)\n", in check_btf_line()
17958 verbose(env, in check_btf_line()
17967 verbose(env, "Invalid line_info[%u].line_off or .file_name_off\n", i); in check_btf_line()
17977 verbose(env, "missing bpf_line_info for func#%u\n", s); in check_btf_line()
17988 verbose(env, "missing bpf_line_info for %u funcs starting from func#%u\n", in check_btf_line()
18046 verbose(env, "nonzero tailing record in core_relo"); in check_core_relo()
18061 verbose(env, "Invalid core_relo[%u].insn_off:%u prog->len:%u\n", in check_core_relo()
18847 verbose(env, "frame %d: propagating r%d", fr, i); in propagate_precision()
18849 verbose(env, ",r%d", i); in propagate_precision()
18865 verbose(env, "frame %d: propagating fp%d", in propagate_precision()
18868 verbose(env, ",fp%d", (-i - 1) * BPF_REG_SIZE); in propagate_precision()
18874 verbose(env, "\n"); in propagate_precision()
19121 verbose(env, "infinite loop detected at insn %d\n", insn_idx); in is_state_visited()
19122 verbose(env, "cur state:"); in is_state_visited()
19124 verbose(env, "old state:"); in is_state_visited()
19384 verbose(env, "same insn cannot be used with different pointers\n"); in save_aux_ptr_type()
19413 verbose(env, "invalid insn idx %d insn_cnt %d\n", in do_check()
19422 verbose(env, in do_check()
19438 verbose(env, "\nfrom %d to %d%s: safe\n", in do_check()
19443 verbose(env, "%d: safe\n", env->insn_idx); in do_check()
19462 verbose(env, "\nfrom %d to %d%s:", in do_check()
19476 verbose(env, "%d: ", env->insn_idx); in do_check()
19518 verbose(env, "BPF_STX uses reserved fields\n"); in do_check()
19530 verbose(env, "BPF_ST uses reserved fields\n"); in do_check()
19563 verbose(env, "BPF_CALL uses reserved fields\n"); in do_check()
19571 verbose(env, "function calls are not allowed while holding a lock\n"); in do_check()
19596 verbose(env, "BPF_JA uses reserved fields\n"); in do_check()
19612 verbose(env, "BPF_EXIT uses reserved fields\n"); in do_check()
19663 verbose(env, "verifier bug: env->cur_state->loop_entry != NULL\n"); in do_check()
19690 verbose(env, "invalid BPF_LD mode\n"); in do_check()
19694 verbose(env, "unknown insn class %d\n", class); in do_check()
19789 verbose(env, "ldimm64 insn specifies invalid btf_id %d.\n", id); in __check_pseudo_btf_id()
19794 verbose(env, "pseudo btf_id %d in ldimm64 isn't KIND_VAR or KIND_FUNC\n", id); in __check_pseudo_btf_id()
19801 verbose(env, "ldimm64 failed to find the address for kernel symbol '%s'.\n", in __check_pseudo_btf_id()
19840 verbose(env, "ldimm64 unable to resolve the size of type '%s': %ld\n", in __check_pseudo_btf_id()
19869 verbose(env, "invalid module BTF object FD specified.\n"); in check_pseudo_btf_id()
19874 …verbose(env, "kernel is missing BTF, make sure CONFIG_DEBUG_INFO_BTF=y is specified in Kconfig.\n"… in check_pseudo_btf_id()
19920 verbose(env, "tracing progs cannot use bpf_{list_head,rb_root} yet\n"); in check_map_prog_compatibility()
19927 verbose(env, "socket filter progs cannot use bpf_spin_lock yet\n"); in check_map_prog_compatibility()
19932 verbose(env, "tracing progs cannot use bpf_spin_lock yet\n"); in check_map_prog_compatibility()
19939 verbose(env, "tracing progs cannot use bpf_timer yet\n"); in check_map_prog_compatibility()
19946 verbose(env, "tracing progs cannot use bpf_wq yet\n"); in check_map_prog_compatibility()
19953 verbose(env, "offload device mismatch between prog and map\n"); in check_map_prog_compatibility()
19958 verbose(env, "bpf_struct_ops map cannot be used in prog\n"); in check_map_prog_compatibility()
19983 verbose(env, in check_map_prog_compatibility()
19990 verbose(env, "only one cgroup storage of each type is allowed\n"); in check_map_prog_compatibility()
19996 verbose(env, "Only one arena per program\n"); in check_map_prog_compatibility()
20000 verbose(env, "CAP_BPF and CAP_PERFMON are required to use arena\n"); in check_map_prog_compatibility()
20004 verbose(env, "JIT is required to use arena\n"); in check_map_prog_compatibility()
20008 verbose(env, "JIT doesn't support arena\n"); in check_map_prog_compatibility()
20013 verbose(env, "arena's user address must be set via map_extra or mmap()\n"); in check_map_prog_compatibility()
20031 verbose(env, "The total number of maps per program has reached the limit of %u\n", in __add_used_map()
20066 verbose(env, "fd %d is not pointing to valid bpf_map\n", fd); in add_used_map()
20094 verbose(env, "BPF_LDX uses reserved fields\n"); in resolve_pseudo_ldimm64()
20108 verbose(env, "invalid bpf_ld_imm64 insn\n"); in resolve_pseudo_ldimm64()
20143 verbose(env, "unrecognized bpf_ld_imm64 insn\n"); in resolve_pseudo_ldimm64()
20151 verbose(env, "fd_idx without fd_array is invalid\n"); in resolve_pseudo_ldimm64()
20179 verbose(env, "direct value offset of %u is not allowed\n", off); in resolve_pseudo_ldimm64()
20184 verbose(env, "no direct value access support for this map type\n"); in resolve_pseudo_ldimm64()
20190 verbose(env, "invalid access to map value pointer, value_size=%u off=%u\n", in resolve_pseudo_ldimm64()
20210 verbose(env, "unknown opcode %02x\n", insn->code); in resolve_pseudo_ldimm64()
20331 verbose(env, in bpf_patch_insn_data()
20724 verbose(env, "verifier bug. zext_dst is set, but no reg is defined\n"); in opt_subreg_zext_lo32_rnd_hi32()
20770 verbose(env, "bpf verifier is misconfigured\n"); in convert_ctx_accesses()
20793 verbose(env, "bpf verifier is misconfigured\n"); in convert_ctx_accesses()
20799 verbose(env, "bpf verifier is misconfigured\n"); in convert_ctx_accesses()
20930 verbose(env, "sign extending loads from arena are not supported yet\n"); in convert_ctx_accesses()
20956 verbose(env, "bpf verifier narrow ctx access misconfigured\n"); in convert_ctx_accesses()
20975 verbose(env, "bpf verifier is misconfigured\n"); in convert_ctx_accesses()
20983 verbose(env, "bpf verifier narrow ctx load misconfigured\n"); in convert_ctx_accesses()
21203 verbose(env, "JIT doesn't support bpf-to-bpf calls\n"); in jit_subprogs()
21307 verbose(env, "calling kernel functions are not allowed in non-JITed programs\n"); in fixup_call_args()
21314 verbose(env, "tail_calls are not allowed in non-JITed programs with bpf-to-bpf calls\n"); in fixup_call_args()
21322 verbose(env, "callbacks are not allowed in non-JITed programs\n"); in fixup_call_args()
21404 verbose(env, "invalid kernel function call not eliminated in verifier pass\n"); in fixup_kfunc_call()
21416 verbose(env, "verifier internal error: kernel function descriptor not found for func_id %u\n", in fixup_kfunc_call()
21432 verbose(env, "verifier internal error: NULL kptr_struct_meta expected at insn_idx %d\n", in fixup_kfunc_call()
21449 verbose(env, "verifier internal error: NULL kptr_struct_meta expected at insn_idx %d\n", in fixup_kfunc_call()
21456 verbose(env, "verifier internal error: kptr_struct_meta expected at insn_idx %d\n", in fixup_kfunc_call()
21479 verbose(env, "verifier internal error: kptr_struct_meta expected at insn_idx %d\n", in fixup_kfunc_call()
21510 verbose(env, "verifier internal error: only one hidden subprog supported\n"); in add_hidden_subprog()
21746 verbose(env, "bpf verifier is misconfigured\n"); in do_misc_fixups()
21944 verbose(env, "adding tail call poke descriptor failed\n"); in do_misc_fixups()
21962 verbose(env, "tail_call abusing map_ptr\n"); in do_misc_fixups()
22082 verbose(env, "bpf verifier is misconfigured\n"); in do_misc_fixups()
22370 verbose(env, in do_misc_fixups()
22383 verbose(env, "stack size %d(extra %d) is too large\n", in do_misc_fixups()
22406 verbose(env, "verifier bug: stack_slots supports may_goto only\n"); in do_misc_fixups()
22442 verbose(env, "bpf verifier is misconfigured\n"); in do_misc_fixups()
22448 verbose(env, "tracking tail call prog failed\n"); in do_misc_fixups()
22694 verbose(env, "Validating %s() func#%d...\n", sub_name, subprog); in do_check_common()
22706 verbose(env, "exception cb only supports single integer argument\n"); in do_check_common()
22841 verbose(env, "Func#%d ('%s') is safe for any args that match its prototype\n", in do_check_subprogs()
22879 verbose(env, "verification time %lld usec\n", in print_verification_stats()
22881 verbose(env, "stack depth "); in print_verification_stats()
22885 verbose(env, "%d", depth); in print_verification_stats()
22887 verbose(env, "+"); in print_verification_stats()
22889 verbose(env, "\n"); in print_verification_stats()
22891 verbose(env, "processed %d insns (limit %d) max_states_per_insn %d " in print_verification_stats()
22921 verbose(env, "struct ops programs must have a GPL compatible license\n"); in check_struct_ops_btf_id()
22933 verbose(env, "struct_ops module %s is not found\n", in check_struct_ops_btf_id()
22942 verbose(env, "attach_btf_id %u is not a supported struct\n", in check_struct_ops_btf_id()
22951 verbose(env, "attach to invalid member idx %u of struct %s\n", in check_struct_ops_btf_id()
22961 verbose(env, "attach to invalid member %s(@idx %u) of struct %s\n", in check_struct_ops_btf_id()
22969 verbose(env, "attach to unsupported member %s of struct %s\n", in check_struct_ops_btf_id()
22978 verbose(env, "attach to unsupported member %s of struct %s\n", in check_struct_ops_btf_id()
22985 verbose(env, "Private stack not supported by jit\n"); in check_struct_ops_btf_id()
23001 verbose(env, "program with __ref argument cannot tail call\n"); in check_struct_ops_btf_id()
23457 verbose(env, "Syscall programs can only be sleepable\n"); in check_attach_btf_id()
23462 …verbose(env, "Only fentry/fexit/fmod_ret, lsm, iter, uprobe, and struct_ops programs can be sleepa… in check_attach_btf_id()
23514 verbose(env, "Attaching fexit/fmod_ret to __noreturn functions is rejected.\n"); in check_attach_btf_id()
23569 verbose(env, "fd %d is not pointing to valid bpf_map or btf\n", fd); in add_fd_from_fd_array()
23592 verbose(env, "fd_array_cnt is too big (%u)\n", attr->fd_array_cnt); in process_fd_array()
23881 verbose(env, "Live regs before insn:\n"); in compute_live_registers()
23883 verbose(env, "%3d: ", i); in compute_live_registers()
23886 verbose(env, "%d", j); in compute_live_registers()
23888 verbose(env, "."); in compute_live_registers()
23889 verbose(env, " "); in compute_live_registers()
23965 verbose(env, "in-kernel BTF is malformed\n"); in bpf_check()