Searched refs:vsmp_irq_enable (Results 1 – 1 of 1) sorted by relevance
67 asmlinkage __visible void vsmp_irq_enable(void) in vsmp_irq_enable() function73 PV_CALLEE_SAVE_REGS_THUNK(vsmp_irq_enable);121 pv_irq_ops.irq_enable = PV_CALLEE_SAVE(vsmp_irq_enable); in set_vsmp_pv_ops()