Searched refs:vsmp_irq_enable (Results 1 – 1 of 1) sorted by relevance
60 static void vsmp_irq_enable(void) in vsmp_irq_enable() function66 PV_CALLEE_SAVE_REGS_THUNK(vsmp_irq_enable);98 pv_irq_ops.irq_enable = PV_CALLEE_SAVE(vsmp_irq_enable); in set_vsmp_pv_ops()