Searched refs:mic (Results 1 – 4 of 4) sorted by relevance
660 static inline int is_higher_class(int pending, int mic) in is_higher_class() argument662 return ((pending >> 4) > mic); in is_higher_class()
698 threshold = ((!vpsr.i) << 5) | (vtpr.mmi << 4) | vtpr.mic; in vhpi_detection()
907 if (is_higher_class(h_pending, vtpr.mic + (vtpr.mmi << 4))) in irq_masked()
157 __u64 mic : 4; member