|
@@ -2495,7 +2495,7 @@ static int its_vpe_set_affinity(struct irq_data *d,
|
|
|
|
|
|
static void its_vpe_schedule(struct its_vpe *vpe)
|
|
|
{
|
|
|
- void * __iomem vlpi_base = gic_data_rdist_vlpi_base();
|
|
|
+ void __iomem *vlpi_base = gic_data_rdist_vlpi_base();
|
|
|
u64 val;
|
|
|
|
|
|
/* Schedule the VPE */
|
|
@@ -2527,7 +2527,7 @@ static void its_vpe_schedule(struct its_vpe *vpe)
|
|
|
|
|
|
static void its_vpe_deschedule(struct its_vpe *vpe)
|
|
|
{
|
|
|
- void * __iomem vlpi_base = gic_data_rdist_vlpi_base();
|
|
|
+ void __iomem *vlpi_base = gic_data_rdist_vlpi_base();
|
|
|
u32 count = 1000000; /* 1s! */
|
|
|
bool clean;
|
|
|
u64 val;
|