static int __setup_irq(struct irq_desc *desc, unsigned int irqflags,
struct irqaction *new)
{
- bool_t shared = !!(irqflags & IRQF_SHARED);
+ bool shared = irqflags & IRQF_SHARED;
ASSERT(new != NULL);
int rc;
unsigned long flags;
struct irq_desc *desc;
- bool_t disabled;
+ bool disabled;
desc = irq_to_desc(irq);
return rc;
}
-bool_t is_assignable_irq(unsigned int irq)
+bool is_assignable_irq(unsigned int irq)
{
/* For now, we can only route SPIs to the guest */
- return ((irq >= NR_LOCAL_IRQS) && (irq < gic_number_lines()));
+ return (irq >= NR_LOCAL_IRQS) && (irq < gic_number_lines());
}
/*
*
* XXX: See whether it is possible to let any domain configure the type.
*/
-bool_t irq_type_set_by_domain(const struct domain *d)
+bool irq_type_set_by_domain(const struct domain *d)
{
return (d == hardware_domain);
}
BUG();
}
-static bool_t irq_validate_new_type(unsigned int curr, unsigned new)
+static bool irq_validate_new_type(unsigned int curr, unsigned new)
{
return (curr == IRQ_TYPE_INVALID || curr == new );
}
#define domain_pirq_to_irq(d, pirq) (pirq)
-bool_t is_assignable_irq(unsigned int irq);
+bool is_assignable_irq(unsigned int irq);
void init_IRQ(void);
void init_secondary_IRQ(void);
* Use this helper in places that need to know whether the IRQ type is
* set by the domain.
*/
-bool_t irq_type_set_by_domain(const struct domain *d);
+bool irq_type_set_by_domain(const struct domain *d);
#endif /* _ASM_HW_IRQ_H */
/*