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 226 milliseconds