Searched defs:set_pmi_irq_pending (Results 1 – 1 of 1) sorted by relevance
208 static inline void set_pmi_irq_pending(void) in set_pmi_irq_pending() function466 static inline void set_pmi_irq_pending(void) { } in set_pmi_irq_pending() function