Lines Matching refs:HSR
36 type HSR = { EC: BitsN.nbit, IL: bool, ISS: BitsN.nbit }
54 { HCR: HCR, HSCTLR: HSCTLR, HSR: HSR, MVBAR: BitsN.nbit, NSACR: NSACR,
498 val HSR_EC_rupd: HSR * BitsN.nbit -> HSR
499 val HSR_IL_rupd: HSR * bool -> HSR
500 val HSR_ISS_rupd: HSR * BitsN.nbit -> HSR
545 val CP15_HSR_rupd: CP15 * HSR -> CP15
637 val rec'HSR: BitsN.nbit -> HSR
638 val reg'HSR: HSR -> BitsN.nbit
639 val write'rec'HSR: (BitsN.nbit * HSR) -> BitsN.nbit
640 val write'reg'HSR: (HSR * BitsN.nbit) -> HSR