Searched defs:active (Results 1 - 14 of 14) sorted by relevance

/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtqueue.h39 bool active; member in struct:tqueue_node
/seL4-test-master/projects/musllibc/src/locale/
H A Ddcngettext.c15 volatile int active; member in struct:binding
/seL4-test-master/kernel/src/arch/arm/object/
H A Dvcpu.c32 static void vcpu_save(vcpu_t *vcpu, bool_t active) argument
/seL4-test-master/tools/seL4/elfloader-tool/src/plat/imx6/
H A Dplatform_init.c148 uint32_t active[32]; member in struct:gicd_map
/seL4-test-master/tools/seL4/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c224 uint32_t active[32]; member in struct:gicd_map
/seL4-test-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v2.h60 uint32_t active[32]; /* [0x300, 0x380) */ member in struct:gic_dist_map
/seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h682 static inline void armv_vcpu_save(vcpu_t *vcpu, bool_t active) argument
/seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Dvcpu.h682 static inline void armv_vcpu_save(vcpu_t *vcpu, bool_t active) argument
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Dvcpu.h682 static inline void armv_vcpu_save(vcpu_t *vcpu, bool_t active) argument
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h581 static inline void armv_vcpu_save(vcpu_t *vcpu, UNUSED bool_t active) argument
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.c152 uint32_t active[31]; /* [0x300, 0x380) */ member in struct:gic_dist_map
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dethtool.h419 uint32_t active; member in struct:ethtool_get_features_block
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dethtool.h421 uint32_t active; member in struct:ethtool_get_features_block
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dethtool.h420 uint32_t active; member in struct:ethtool_get_features_block

Completed in 207 milliseconds