Lines Matching refs:GUEST_ASSERT
40 GUEST_ASSERT(gic_ops); in gic_dist_init()
55 GUEST_ASSERT(type < GIC_TYPE_MAX); in gic_init()
56 GUEST_ASSERT(nr_cpus); in gic_init()
64 GUEST_ASSERT(gic_common_ops); in gic_irq_enable()
70 GUEST_ASSERT(gic_common_ops); in gic_irq_disable()
79 GUEST_ASSERT(gic_common_ops); in gic_get_and_ack_irq()
89 GUEST_ASSERT(gic_common_ops); in gic_set_eoi()
95 GUEST_ASSERT(gic_common_ops); in gic_set_dir()
101 GUEST_ASSERT(gic_common_ops); in gic_set_eoi_split()
107 GUEST_ASSERT(gic_common_ops); in gic_set_priority_mask()
113 GUEST_ASSERT(gic_common_ops); in gic_set_priority()
119 GUEST_ASSERT(gic_common_ops); in gic_irq_set_active()
125 GUEST_ASSERT(gic_common_ops); in gic_irq_clear_active()
131 GUEST_ASSERT(gic_common_ops); in gic_irq_get_active()
137 GUEST_ASSERT(gic_common_ops); in gic_irq_set_pending()
143 GUEST_ASSERT(gic_common_ops); in gic_irq_clear_pending()
149 GUEST_ASSERT(gic_common_ops); in gic_irq_get_pending()
155 GUEST_ASSERT(gic_common_ops); in gic_irq_set_config()