Symbol: R13
usr/src/boot/efi/include/Protocol/DebugSupport.h
229
UINT64 R13;
usr/src/boot/efi/include/Protocol/DebugSupport.h
300
UINT64 R13;