Lines Matching full:amd64
516 // The required user mode extensions in X64 are (from AMD64 ABI Table A.1):
