Searched refs:ICH_LR_VIRTUAL_ID_MASK (Results 1 – 3 of 3) sorted by relevance
532 if ((val & ICH_LR_VIRTUAL_ID_MASK) == intid && in __vgic_v3_find_active_lr()699 if ((lr_val & ICH_LR_VIRTUAL_ID_MASK) <= VGIC_MAX_SPI) in __vgic_v3_read_iar()703 vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK); in __vgic_v3_read_iar()953 vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK); in __vgic_v3_read_hppir()
581 #define ICH_LR_VIRTUAL_ID_MASK ((1ULL << 32) - 1) macro
52 intid = val & ICH_LR_VIRTUAL_ID_MASK; in vgic_v3_fold_lr_state()