Searched refs:HSR (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/ |
| H A D | machine_pl2.h | 138 word_t HSR; local
139 asm volatile("mrc p15, 4, %0, c5, c2, 0" : "=r"(HSR));
140 return HSR;
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/ |
| H A D | hyp_traps.S | 30 #define HSR(reg) p15, 4, reg, c5 , c2, 0 define
131 mrc HSR(lr)
147 mrc HSR(r0)
189 mrc HSR(r9) /* Get Hype Syndrome Register. */
200 mrc HSR(r9) /* Get Hype Syndrome Register. */
211 mrc HSR(r9) /* Get Hype Syndrome Register. */
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/ |
| H A D | arm.sig | 36 type HSR = { EC: BitsN.nbit, IL: bool, ISS: BitsN.nbit } type
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
[all...] |
| H A D | arm.sml | 36 type HSR = { EC: BitsN.nbit, IL: bool, ISS: BitsN.nbit } type
54 { HCR: HCR, HSCTLR: HSCTLR, HSR: HSR, MVBAR: BitsN.nbit, NSACR: NSACR,
1025 fun HSR_EC_rupd ({EC, IL, ISS}: HSR, x') = {EC = x', IL = IL, ISS = ISS}
1026 : HSR
1028 fun HSR_IL_rupd ({EC, IL, ISS}: HSR, x') = {EC = EC, IL = x', ISS = ISS}
1029 : HSR
1031 fun HSR_ISS_rupd ({EC, IL, ISS}: HSR, x') = {EC = EC, IL = IL, ISS = x'}
1032 : HSR
1339 fun CP15_HCR_rupd ({HCR, HSCTLR, HSR, MVBA
[all...] |
| H A D | armScript.sml | 39 val _ = Record ("HSR",[("EC",FTy 6),("IL",bTy),("ISS",FTy 25)])
61 [("HCR",CTy"HCR"),("HSCTLR",CTy"HSCTLR"),("HSR",CTy"HSR"),
569 ("rec'HSR",Var("x",F32),
570 Rec(CTy"HSR",
575 ("reg'HSR",Var("x",CTy"HSR"),
576 CS(Var("x",CTy"HSR"),
577 [(Rec(CTy"HSR",[Var("EC",FTy 6),bVar"IL",Var("ISS",FTy 25)]),
581 ("write'rec'HSR",T
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/monadic-arm/ |
| H A D | armScript.sml | 38 val _ = Record ("HSR",[("EC",FTy 6),("IL",bTy),("ISS",FTy 25)])
60 [("HCR",CTy"HCR"),("HSCTLR",CTy"HSCTLR"),("HSR",CTy"HSR"),
706 ("rec'HSR",Var("x",F32),
707 Rec(CTy"HSR",
712 ("reg'HSR",Var("x",CTy"HSR"),
713 CS(Var("x",CTy"HSR"),
714 [(Rec(CTy"HSR",[Var("EC",FTy 6),bVar"IL",Var("ISS",FTy 25)]),
752 ("write'rec'HSR",T
[all...] |
Completed in 101 milliseconds