writel_gich(lrv, GICH_LR + lr * 4);
}
-static void gicv2_hcr_status(uint32_t flag, bool_t status)
+static void gicv2_hcr_status(uint32_t flag, bool status)
{
uint32_t hcr = readl_gich(GICH_HCR);
.set_affinity = gicv2_irq_set_affinity,
};
-static bool_t gicv2_is_aliased(paddr_t cbase, paddr_t csize)
+static bool gicv2_is_aliased(paddr_t cbase, paddr_t csize)
{
uint32_t val_low, val_high;
static void gicv3_do_wait_for_rwp(void __iomem *base)
{
uint32_t val;
- bool_t timeout = 0;
+ bool timeout = false;
s_time_t deadline = NOW() + MILLISECS(1000);
do {
break;
if ( NOW() > deadline )
{
- timeout = 1;
+ timeout = true;
break;
}
cpu_relax();
static int gicv3_enable_redist(void)
{
uint32_t val;
- bool_t timeout = 0;
+ bool timeout = false;
s_time_t deadline = NOW() + MILLISECS(1000);
/* Wake up this CPU redistributor */
break;
if ( NOW() > deadline )
{
- timeout = 1;
+ timeout = true;
break;
}
cpu_relax();
gicv3_ich_write_lr(lr_reg, lrv);
}
-static void gicv3_hcr_status(uint32_t flag, bool_t status)
+static void gicv3_hcr_status(uint32_t flag, bool status)
{
uint32_t hcr;
if ( is_idle_vcpu(v) )
return;
- gic_hw_ops->update_hcr_status(GICH_HCR_UIE, 0);
+ gic_hw_ops->update_hcr_status(GICH_HCR_UIE, false);
spin_lock_irqsave(&v->arch.vgic.lock, flags);
gic_restore_pending_irqs(current);
if ( !list_empty(¤t->arch.vgic.lr_pending) && lr_all_full() )
- gic_hw_ops->update_hcr_status(GICH_HCR_UIE, 1);
+ gic_hw_ops->update_hcr_status(GICH_HCR_UIE, true);
}
static void do_sgi(struct cpu_user_regs *regs, enum gic_sgi sgi)
#include <asm/vgic-emul.h>
static struct {
- bool_t enabled;
+ bool enabled;
/* Distributor interface address */
paddr_t dbase;
/* CPU interface address & size */
void vgic_v2_setup_hw(paddr_t dbase, paddr_t cbase, paddr_t csize,
paddr_t vbase, uint32_t aliased_offset)
{
- vgic_v2_hw.enabled = 1;
+ vgic_v2_hw.enabled = true;
vgic_v2_hw.dbase = dbase;
vgic_v2_hw.cbase = cbase;
vgic_v2_hw.csize = csize;
#define VGICD_CTLR_DEFAULT (GICD_CTLR_ARE_NS)
static struct {
- bool_t enabled;
+ bool enabled;
/* Distributor interface address */
paddr_t dbase;
/* Re-distributor regions */
uint32_t rdist_stride,
unsigned int intid_bits)
{
- vgic_v3_hw.enabled = 1;
+ vgic_v3_hw.enabled = true;
vgic_v3_hw.dbase = dbase;
vgic_v3_hw.nr_rdist_regions = nr_rdist_regions;
vgic_v3_hw.regions = regions;
void (*update_lr)(int lr, const struct pending_irq *pending_irq,
unsigned int state);
/* Update HCR status register */
- void (*update_hcr_status)(uint32_t flag, bool_t set);
+ void (*update_hcr_status)(uint32_t flag, bool set);
/* Clear LR register */
void (*clear_lr)(int lr);
/* Read LR register and populate gic_lr structure */