HomeSort by: relevance | last modified time | path
    Searched defs:R13 (Results 1 - 6 of 6) sorted by relevancy

  /src/sys/external/bsd/gnu-efi/dist/inc/arm/
efisetjmp_arch.h 9 UINT32 R3; // A copy of R13
19 UINT32 R13;
efisetjmp_arch.h 9 UINT32 R3; // A copy of R13
19 UINT32 R13;
  /src/sys/external/bsd/gnu-efi/dist/inc/x86_64/
efisetjmp_arch.h 16 UINT64 R13;
efisetjmp_arch.h 16 UINT64 R13;
  /src/sys/external/bsd/gnu-efi/dist/inc/
efidebug.h 288 UINT64 R13;
341 UINT64 R13;
efidebug.h 288 UINT64 R13;
341 UINT64 R13;

Completed in 27 milliseconds