Searched refs:gic_read_ap1r0 (Results 1 – 1 of 1) sorted by relevance
153 static uint64_t gic_read_ap1r0(void) in gic_read_ap1r0() function189 GUEST_ASSERT_EQ(gic_read_ap1r0(), 0); in guest_irq_generic_handler()324 ap1r = gic_read_ap1r0(); in guest_restore_active()341 GUEST_ASSERT_EQ(gic_read_ap1r0(), 0); in guest_restore_active()409 GUEST_ASSERT_EQ(gic_read_ap1r0(), 0); in test_inject_preemption()