Searched refs:gic_read_ap1r0 (Results 1 – 1 of 1) sorted by relevance
154 static uint64_t gic_read_ap1r0(void) in gic_read_ap1r0() function190 GUEST_ASSERT_EQ(gic_read_ap1r0(), 0); in guest_irq_generic_handler()325 ap1r = gic_read_ap1r0(); in guest_restore_active()342 GUEST_ASSERT_EQ(gic_read_ap1r0(), 0); in guest_restore_active()410 GUEST_ASSERT_EQ(gic_read_ap1r0(), 0); in test_inject_preemption()
