Searched refs:seL4_VCPUReg_SCTLR (Results 1 - 9 of 9) sorted by relevance
| /seL4-mcs-10.1.1/include/arch/arm/armv/armv8-a/64/armv/ |
| H A D | vcpu.h | 438 case seL4_VCPUReg_SCTLR:
497 case seL4_VCPUReg_SCTLR:
614 case seL4_VCPUReg_SCTLR:
635 case seL4_VCPUReg_SCTLR:
688 vcpu_restore_reg(vcpu, seL4_VCPUReg_SCTLR);
706 vcpu_save_reg(vcpu, seL4_VCPUReg_SCTLR);
734 vcpu_write_reg(vcpu, seL4_VCPUReg_SCTLR, SCTLR_EL1_VM);
|
| /seL4-mcs-10.1.1/src/arch/arm/object/ |
| H A D | vcpu.c | 110 vcpu_restore_reg(vcpu, seL4_VCPUReg_SCTLR);
195 vcpu_save_reg(vcpu, seL4_VCPUReg_SCTLR);
276 vcpu_save_reg(vcpu, seL4_VCPUReg_SCTLR);
319 case seL4_VCPUReg_SCTLR:
340 case seL4_VCPUReg_SCTLR:
454 vcpu_write_reg(vcpu, seL4_VCPUReg_SCTLR, SCTLR_DEFAULT);
|
| /seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/api/ |
| H A D | constants.h | 83 seL4_VCPUReg_SCTLR = 0, enumerator in enum:__anon19
|
| /seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/api/ |
| H A D | constants.h | 79 seL4_VCPUReg_SCTLR = 0, enumerator in enum:__anon29
|
| /seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | constants.h | 83 seL4_VCPUReg_SCTLR = 0, enumerator in enum:__anon94
|
| /seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | constants.h | 79 seL4_VCPUReg_SCTLR = 0, enumerator in enum:__anon102
|
| /seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | constants.h | 83 seL4_VCPUReg_SCTLR = 0, enumerator in enum:__anon111
|
| /seL4-mcs-10.1.1/include/arch/arm/armv/armv7-a/armv/ |
| H A D | vcpu.h | 349 case seL4_VCPUReg_SCTLR:
436 case seL4_VCPUReg_SCTLR:
|
| /seL4-mcs-10.1.1/include/arch/arm/armv/armv7ve/armv/ |
| H A D | vcpu.h | 349 case seL4_VCPUReg_SCTLR:
436 case seL4_VCPUReg_SCTLR:
|
Completed in 107 milliseconds