Searched defs:read_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 | 18 uint32_t (*read_gich_vmcr)(); member in struct:arm_gic_hw_interface_ops |
Completed in 73 milliseconds