#include #include #include __asm__("\n&FUNC SETC '__64_cmp_u64'"); int __64_cmp_u64(__64* a, uint64_t b) { __64 tmp; __64_from_u64(&tmp, b); return __64_cmp(a, &tmp); }