Searched refs:FaultKindType (Results 1 – 1 of 1) sorted by relevance
108 using FaultKindType = uint32_t; variable114 FaultKindOffset + sizeof(FaultKindType);128 FaultKindType getFaultKind() const { in getFaultKind()129 return read<FaultKindType>(P + FaultKindOffset, E); in getFaultKind()