Searched refs:seL4_VCPUReg_ACTLR (Results 1 - 9 of 9) sorted by relevance
| /seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/api/ |
| H A D | constants.h | 84 seL4_VCPUReg_ACTLR, enumerator in enum:__anon19
|
| /seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/api/ |
| H A D | constants.h | 88 seL4_VCPUReg_ACTLR, enumerator in enum:__anon29
|
| /seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | constants.h | 84 seL4_VCPUReg_ACTLR, enumerator in enum:__anon94
|
| /seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | constants.h | 88 seL4_VCPUReg_ACTLR, enumerator in enum:__anon102
|
| /seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | constants.h | 84 seL4_VCPUReg_ACTLR, enumerator in enum:__anon111
|
| /seL4-mcs-10.1.1/include/arch/arm/armv/armv7-a/armv/ |
| H A D | vcpu.h | 351 case seL4_VCPUReg_ACTLR:
439 case seL4_VCPUReg_ACTLR:
|
| /seL4-mcs-10.1.1/include/arch/arm/armv/armv7ve/armv/ |
| H A D | vcpu.h | 351 case seL4_VCPUReg_ACTLR:
439 case seL4_VCPUReg_ACTLR:
|
| /seL4-mcs-10.1.1/src/arch/arm/object/ |
| H A D | vcpu.c | 292 vcpu_save_reg_range(vcpu, seL4_VCPUReg_ACTLR, seL4_VCPUReg_SPSRfiq);
377 vcpu_restore_reg_range(vcpu, seL4_VCPUReg_ACTLR, seL4_VCPUReg_SPSRfiq);
455 vcpu_write_reg(vcpu, seL4_VCPUReg_ACTLR, ACTLR_DEFAULT);
|
| /seL4-mcs-10.1.1/include/arch/arm/armv/armv8-a/64/armv/ |
| H A D | vcpu.h | 452 case seL4_VCPUReg_ACTLR:
511 case seL4_VCPUReg_ACTLR:
|
Completed in 39 milliseconds