Hi Julien,
static int vgic_v3_distr_mmio_read(struct vcpu *v, mmio_info_t *info)
{
...
case GICD_TYPER:
{
/*
* Number of interrupt identifier bits supported by the GIC
* Stream Protocol Interface
*/
unsigned int irq_bits =
get_count_order(vgic_num_irqs(v->domain));
}I think we should use ilog2() instead of get_count_order()? Regards Vijay _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
