28 void compare_never(uint32_t value1, uint32_t value2)  in compare_never()  argument
30    register uint32_t val1 asm("r7") = value1;  in compare_never()
44 void compare_always(uint32_t value1, uint32_t value2)  in compare_always()  argument
46    register uint32_t val1 asm("r7") = value1;  in compare_always()
60 void compare_le(uint32_t value1, uint32_t value2)  in compare_le()  argument
62    register uint32_t val1 asm("r7") = value1;  in compare_le()
76 void compare_ge(uint32_t value1, uint32_t value2)  in compare_ge()  argument
78    register uint32_t val1 asm("r7") = value1;  in compare_ge()
92 void compare_gt(uint32_t value1, uint32_t value2)  in compare_gt()  argument
94    register uint32_t val1 asm("r7") = value1;  in compare_gt()
108 void compare_lt(uint32_t value1, uint32_t value2)  in compare_lt()  argument
110    register uint32_t val1 asm("r7") = value1;  in compare_lt()
124 void compare_eq(uint32_t value1, uint32_t value2)  in compare_eq()  argument
126    register uint32_t val1 asm("r7") = value1;  in compare_eq()
140 void compare_ne(uint32_t value1, uint32_t value2)  in compare_ne()  argument
142    register uint32_t val1 asm("r7") = value1;  in compare_ne()