Searched defs:F31 (Results 1 - 3 of 3) sorted by relevance
| /src/sys/external/bsd/gnu-efi/dist/inc/mips64el/ | ||
| H A D | efisetjmp_arch.h | 32 UINT64 F31; member in struct:__anon2352b4fe0108 |
| /src/sys/external/bsd/gnu-efi/dist/inc/ia64/ | ||
| H A D | efisetjmp_arch.h | 28 UINT64 F31[2]; member in struct:__anon42f6499e0108 |
| /src/sys/external/bsd/gnu-efi/dist/inc/ | ||
| H A D | efidebug.h | 389 UINT64 F31[2]; member in struct:__anon3375ac920508 |
Completed in 4 milliseconds