Searched refs:ICH_LR_VIRTUAL_ID_MASK (Results 1 – 3 of 3) sorted by relevance
504 if ((val & ICH_LR_VIRTUAL_ID_MASK) == intid && in __vgic_v3_find_active_lr()671 if ((lr_val & ICH_LR_VIRTUAL_ID_MASK) <= VGIC_MAX_SPI) in __vgic_v3_read_iar()675 vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK); in __vgic_v3_read_iar()933 vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK); in __vgic_v3_read_hppir()
496 #define ICH_LR_VIRTUAL_ID_MASK ((1ULL << 32) - 1) macro
64 intid = val & ICH_LR_VIRTUAL_ID_MASK; in vgic_v3_fold_lr_state()
