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