Searched refs:HCR (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 | 85 word_t HCR; local 86 asm volatile("mrc p15, 4, %0, c1, c1, 0" : "=r"(HCR)); 87 return HCR;
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/ |
H A D | arm.sig | 46 type HCR = type 54 { HCR: HCR, HSCTLR: HSCTLR, HSR: HSR, MVBAR: BitsN.nbit, NSACR: NSACR, 518 val HCR_AMO_rupd: HCR * bool -> HCR 519 val HCR_BSU_rupd: HCR * BitsN.nbit -> HCR 520 val HCR_DC_rupd: HCR * bool -> HCR 521 val HCR_FB_rupd: HCR * boo [all...] |
H A D | arm.sml | 46 type HCR = type 54 { HCR: HCR, HSCTLR: HSCTLR, HSR: HSR, MVBAR: BitsN.nbit, NSACR: NSACR, 1121 : HCR, x') = 1125 TWI = TWI, VA = VA, VF = VF, VI = VI, VM = VM, hcr'rst = hcr'rst}: HCR 1129 : HCR, x') = 1133 TWI = TWI, VA = VA, VF = VF, VI = VI, VM = VM, hcr'rst = hcr'rst}: HCR 1137 : HCR, x') = 1142 hcr'rst = hcr'rst}: HCR 1146 : HCR, [all...] |
H A D | armScript.sml | 52 ("HCR", 61 [("HCR",CTy"HCR"),("HSCTLR",CTy"HSCTLR"),("HSR",CTy"HSR"), 649 ("rec'HCR",Var("x",F32), 650 Rec(CTy"HCR", 666 ("reg'HCR",Var("x",CTy"HCR"), 667 CS(Var("x",CTy"HCR"), 668 [(Rec(CTy"HCR", 688 ("write'rec'HCR",T [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/ |
H A D | hyp_traps.S | 20 #define HCR(reg) p15, 4, reg, c1 , c1, 0 define
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/monadic-arm/ |
H A D | armScript.sml | 51 ("HCR", 60 [("HCR",CTy"HCR"),("HSCTLR",CTy"HSCTLR"),("HSR",CTy"HSR"), 904 ("rec'HCR",Var("x",F32), 905 Rec(CTy"HCR", 921 ("reg'HCR",Var("x",CTy"HCR"), 922 CS(Var("x",CTy"HCR"), 923 [(Rec(CTy"HCR", 965 ("write'rec'HCR",T [all...] |
Completed in 113 milliseconds