886                            uintptr_t FaultAddr, const char *DepotPtr,  in getErrorInfo()  argument
915     if (extractTag(FaultAddr) != 0)  in getErrorInfo()
916       getInlineErrorInfo(ErrorInfo, NextErrorReport, FaultAddr, Depot,  in getErrorInfo()
922     getRingBufferErrorInfo(ErrorInfo, NextErrorReport, FaultAddr, Depot,  in getErrorInfo()
927     if (extractTag(FaultAddr) != 0)  in getErrorInfo()
928       getInlineErrorInfo(ErrorInfo, NextErrorReport, FaultAddr, Depot,  in getErrorInfo()
1465                                  size_t &NextErrorReport, uintptr_t FaultAddr,  in getInlineErrorInfo()  argument
1471     uptr UntaggedFaultAddr = untagPointer(FaultAddr);  in getInlineErrorInfo()
1472     u8 FaultAddrTag = extractTag(FaultAddr);  in getInlineErrorInfo()
1550                                      uintptr_t FaultAddr,  in getRingBufferErrorInfo()  argument
1580         if (FaultAddr < EntryPtr || FaultAddr >= EntryPtr + EntrySize)  in getRingBufferErrorInfo()
1587         if (FaultAddr < EntryPtr - getPageSizeCached() ||  in getRingBufferErrorInfo()
1588             FaultAddr >= EntryPtr + EntrySize + getPageSizeCached())  in getRingBufferErrorInfo()
1609       else if (FaultAddr < EntryPtr)  in getRingBufferErrorInfo()