Lines Matching refs:GUEST_ASSERT
41 GUEST_ASSERT(gic_ops); in gic_dist_init()
57 GUEST_ASSERT(type < GIC_TYPE_MAX); in gic_init()
58 GUEST_ASSERT(dist_base); in gic_init()
59 GUEST_ASSERT(redist_base); in gic_init()
60 GUEST_ASSERT(nr_cpus); in gic_init()
68 GUEST_ASSERT(gic_common_ops); in gic_irq_enable()
74 GUEST_ASSERT(gic_common_ops); in gic_irq_disable()
83 GUEST_ASSERT(gic_common_ops); in gic_get_and_ack_irq()
93 GUEST_ASSERT(gic_common_ops); in gic_set_eoi()
99 GUEST_ASSERT(gic_common_ops); in gic_set_dir()
105 GUEST_ASSERT(gic_common_ops); in gic_set_eoi_split()
111 GUEST_ASSERT(gic_common_ops); in gic_set_priority_mask()
117 GUEST_ASSERT(gic_common_ops); in gic_set_priority()
123 GUEST_ASSERT(gic_common_ops); in gic_irq_set_active()
129 GUEST_ASSERT(gic_common_ops); in gic_irq_clear_active()
135 GUEST_ASSERT(gic_common_ops); in gic_irq_get_active()
141 GUEST_ASSERT(gic_common_ops); in gic_irq_set_pending()
147 GUEST_ASSERT(gic_common_ops); in gic_irq_clear_pending()
153 GUEST_ASSERT(gic_common_ops); in gic_irq_get_pending()
159 GUEST_ASSERT(gic_common_ops); in gic_irq_set_config()