get_xenpmu_flags
uint8_t xenpmu_flags = get_xenpmu_flags();
uint8_t xenpmu_flags = get_xenpmu_flags();
uint8_t xenpmu_flags = get_xenpmu_flags();
uint8_t xenpmu_flags = get_xenpmu_flags();
if (get_xenpmu_flags() & XENPMU_IRQ_PROCESSING)
uint8_t xenpmu_flags = get_xenpmu_flags();