Searched refs:FaultKindType (Results 1 – 1 of 1) sorted by relevance
58 using FaultKindType = uint32_t; variable64 FaultKindOffset + sizeof(FaultKindType);78 FaultKindType getFaultKind() const { in getFaultKind()79 return read<FaultKindType>(P + FaultKindOffset, E); in getFaultKind()