CSR_ESTAT_IS
print_intr_fragment("IS", FIELD_GET(CSR_ESTAT_IS, x));
u32 intr = estat & CSR_ESTAT_IS;
estat &= CSR_ESTAT_IS | CSR_ESTAT_EXC | CSR_ESTAT_ESUBCODE;
unsigned int estat = read_csr_estat() & CSR_ESTAT_IS;