Symbol: PDA_HIGH_BIT
drivers/iommu/intel/irq_remapping.c
1153
irte_pi.pda_h = (pid_addr >> 32) & ~(-1UL << PDA_HIGH_BIT);
drivers/iommu/intel/irq_remapping.c
1270
~(-1UL << PDA_HIGH_BIT);