XENPMU_IRQ_PROCESSING
if (!xenpmu_data || !(xenpmu_flags & XENPMU_IRQ_PROCESSING))
if (!xenpmu_data || !(xenpmu_flags & XENPMU_IRQ_PROCESSING))
if (!xenpmu_data || !(xenpmu_flags & XENPMU_IRQ_PROCESSING)) {
if (!xenpmu_data || !(xenpmu_flags & XENPMU_IRQ_PROCESSING)) {
if (get_xenpmu_flags() & XENPMU_IRQ_PROCESSING)
xenpmu_flags | XENPMU_IRQ_PROCESSING;