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