Did you mean (for PHP-7.4):uint64_t
Your search defs:uint64x2_t did not match any files. Suggestions:
Completed in 5 milliseconds