Searched refs:expected_user_mutated (Results 1 – 1 of 1) sorted by relevance
27 __u64 expected_user_mutated = 0; variable121 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()