Lines Matching +full:0 +full:x1234

85 	ATF_REQUIRE(H16(0x1234) == 0x1234);  in ATF_TC_BODY()
86 	ATF_REQUIRE(H32(0x12345678ul) == 0x12345678ul);  in ATF_TC_BODY()
87 	ATF_REQUIRE(H64(0x123456789abcdef0ull) == 0x123456789abcdef0ull);  in ATF_TC_BODY()
88 	ATF_REQUIRE(O16(0x1234) == __bswap16(0x1234));  in ATF_TC_BODY()
89 	ATF_REQUIRE(O32(0x12345678ul) == __bswap32(0x12345678ul));  in ATF_TC_BODY()
90 	ATF_REQUIRE(O64(0x123456789abcdef0ull) == __bswap64(0x123456789abcdef0ull));  in ATF_TC_BODY()
116 	ATF_REQUIRE(H16(0x1234) == 0x1234);  in ATF_TC_BODY()
117 	ATF_REQUIRE(H32(0x12345678ul) == 0x12345678ul);  in ATF_TC_BODY()
118 	ATF_REQUIRE(H64(0x123456789abcdef0ull) == 0x123456789abcdef0ull);  in ATF_TC_BODY()
119 	ATF_REQUIRE(O16(0x1234) == __bswap16(0x1234));  in ATF_TC_BODY()
120 	ATF_REQUIRE(O32(0x12345678ul) == __bswap32(0x12345678ul));  in ATF_TC_BODY()
121 	ATF_REQUIRE(O64(0x123456789abcdef0ull) == __bswap64(0x123456789abcdef0ull));  in ATF_TC_BODY()