Searched refs:expected_user_mutated (Results 1 – 1 of 1) sorted by relevance
27 __u64 expected_user_mutated = 0; variable 121 expected_user_mutated += operand_64; in publish_next_kern_msg() 126 expected_user_mutated += operand_32; in publish_next_kern_msg() 131 expected_user_mutated *= operand_64; in publish_next_kern_msg() 136 expected_user_mutated *= operand_32; in publish_next_kern_msg() 152 if (expected_user_mutated != user_mutated) { in publish_kern_messages() 153 bpf_printk("%lu != %lu\n", expected_user_mutated, user_mutated); in publish_kern_messages()