Searched defs:write_gich_vmcr (Results 1 - 1 of 1) sorted by relevance
/fuchsia/zircon/kernel/dev/interrupt/arm_gic/common/include/dev/interrupt/ | ||
H A D | arm_gic_hw_interface.h | 19 void (*write_gich_vmcr)(uint32_t val); member in struct:arm_gic_hw_interface_ops |
Completed in 26 milliseconds