Lines Matching defs:xenpmu_flags
197 uint8_t xenpmu_flags = get_xenpmu_flags();
200 if (!xenpmu_data || !(xenpmu_flags & XENPMU_IRQ_PROCESSING))
259 uint8_t xenpmu_flags = get_xenpmu_flags();
261 if (!xenpmu_data || !(xenpmu_flags & XENPMU_IRQ_PROCESSING))
342 uint8_t xenpmu_flags = get_xenpmu_flags();
344 if (!xenpmu_data || !(xenpmu_flags & XENPMU_IRQ_PROCESSING)) {
363 uint8_t xenpmu_flags = get_xenpmu_flags();
365 if (!xenpmu_data || !(xenpmu_flags & XENPMU_IRQ_PROCESSING)) {
490 uint8_t xenpmu_flags = get_xenpmu_flags();
498 xenpmu_flags | XENPMU_IRQ_PROCESSING;
506 this_cpu_ptr(&xenpmu_shared)->flags = xenpmu_flags;