Searched refs:eisr1 (Results 1 - 2 of 2) sorted by relevance

/seL4-mcs-10.1.1/include/arch/arm/arch/machine/
H A Dgic_pl390.h264 uint32_t eisr1; /* 0x024 RO 0x00000000 */ member in struct:gich_vcpu_ctrl_map
330 return gic_vcpu_ctrl->eisr1;
/seL4-mcs-10.1.1/src/arch/arm/object/
H A Dvcpu.c385 uint32_t eisr0, eisr1; local
398 eisr1 = get_gic_vcpu_ctrl_eisr1();
405 } else if (eisr1) {
406 irq_idx = ctzl(eisr1) + 32;

Completed in 80 milliseconds