Searched refs:maintenance_interrupt_state (Results 1 – 1 of 1) sorted by relevance
417 static uint32_t maintenance_interrupt_state(GICv3CPUState *cs) in maintenance_interrupt_state() function525 maintenance_interrupt_state(cs) != 0) { in gicv3_cpuif_virt_update()2649 uint64_t value = maintenance_interrupt_state(cs); in ich_misr_read()