Lines Matching defs:xenpmu_flags
206 uint8_t xenpmu_flags = get_xenpmu_flags();
209 if (!xenpmu_data || !(xenpmu_flags & XENPMU_IRQ_PROCESSING))
268 uint8_t xenpmu_flags = get_xenpmu_flags();
270 if (!xenpmu_data || !(xenpmu_flags & XENPMU_IRQ_PROCESSING))
355 uint8_t xenpmu_flags = get_xenpmu_flags();
357 if (!xenpmu_data || !(xenpmu_flags & XENPMU_IRQ_PROCESSING)) {
376 uint8_t xenpmu_flags = get_xenpmu_flags();
378 if (!xenpmu_data || !(xenpmu_flags & XENPMU_IRQ_PROCESSING)) {
497 uint8_t xenpmu_flags = get_xenpmu_flags();
505 xenpmu_flags | XENPMU_IRQ_PROCESSING;
513 this_cpu_ptr(&xenpmu_shared)->flags = xenpmu_flags;