Searched refs:gic_read_ap1r0 (Results 1 – 1 of 1) sorted by relevance
147 static uint64_t gic_read_ap1r0(void) in gic_read_ap1r0() function183 GUEST_ASSERT_EQ(gic_read_ap1r0(), 0); in guest_irq_generic_handler()317 ap1r = gic_read_ap1r0(); in guest_restore_active()334 GUEST_ASSERT_EQ(gic_read_ap1r0(), 0); in guest_restore_active()402 GUEST_ASSERT_EQ(gic_read_ap1r0(), 0); in test_inject_preemption()