Searched defs:hcr (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/kernel/include/arch/arm/arch/object/
H A Dvcpu.h53 uint32_t hcr; member in struct:gicVCpuIface
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v2.h213 uint32_t hcr; /* 0x000 RW 0x00000000 Hypervisor Control Register */ member in struct:gich_vcpu_ctrl_map
243 static inline void set_gic_vcpu_ctrl_hcr(uint32_t hcr) argument
/seL4-camkes-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Dvcpu.h786 uint32_t hcr; local
/seL4-camkes-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h786 uint32_t hcr; local
/seL4-camkes-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Dvcpu.h786 uint32_t hcr; local
/seL4-camkes-master/kernel/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h604 uint32_t hcr; local

Completed in 116 milliseconds