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