22 static inline void __check32(int line, uint32_t val, uint32_t expect)  in __check32()  argument
24     if (val != expect) {  in __check32()
25         printf("ERROR at line %d: 0x%08x != 0x%08x\n", line, val, expect);  in __check32()
32 static inline void __check64(int line, uint64_t val, uint64_t expect)  in __check64()  argument
34     if (val != expect) {  in __check64()
35         printf("ERROR at line %d: 0x%016llx != 0x%016llx\n", line, val, expect);  in __check64()
52 static inline void __checkp(int line, void *p, void *expect)  in __checkp()  argument
54     if (p != expect) {  in __checkp()
55         printf("ERROR at line %d: 0x%p != 0x%p\n", line, p, expect);  in __checkp()
62 static inline void __check32_ne(int line, uint32_t val, uint32_t expect)  in __check32_ne()  argument
64     if (val == expect) {  in __check32_ne()
65         printf("ERROR at line %d: 0x%08x == 0x%08x\n", line, val, expect);  in __check32_ne()
72 static inline void __check64_ne(int line, uint64_t val, uint64_t expect)  in __check64_ne()  argument
74     if (val == expect) {  in __check64_ne()
75         printf("ERROR at line %d: 0x%016llx == 0x%016llx\n", line, val, expect);  in __check64_ne()