Lines Matching +full:0 +full:x1234

88 	ATF_REQUIRE(H16(0x1234) == 0x1234);  in ATF_TC_BODY()
89 	ATF_REQUIRE(H32(0x12345678ul) == 0x12345678ul);  in ATF_TC_BODY()
90 	ATF_REQUIRE(H64(0x123456789abcdef0ull) == 0x123456789abcdef0ull);  in ATF_TC_BODY()
91 	ATF_REQUIRE(O16(0x1234) == __bswap16(0x1234));  in ATF_TC_BODY()
92 	ATF_REQUIRE(O32(0x12345678ul) == __bswap32(0x12345678ul));  in ATF_TC_BODY()
93 	ATF_REQUIRE(O64(0x123456789abcdef0ull) == __bswap64(0x123456789abcdef0ull));  in ATF_TC_BODY()
119 	ATF_REQUIRE(H16(0x1234) == 0x1234);  in ATF_TC_BODY()
120 	ATF_REQUIRE(H32(0x12345678ul) == 0x12345678ul);  in ATF_TC_BODY()
121 	ATF_REQUIRE(H64(0x123456789abcdef0ull) == 0x123456789abcdef0ull);  in ATF_TC_BODY()
122 	ATF_REQUIRE(O16(0x1234) == __bswap16(0x1234));  in ATF_TC_BODY()
123 	ATF_REQUIRE(O32(0x12345678ul) == __bswap32(0x12345678ul));  in ATF_TC_BODY()
124 	ATF_REQUIRE(O64(0x123456789abcdef0ull) == __bswap64(0x123456789abcdef0ull));  in ATF_TC_BODY()