Searched defs:vsmp_irq_enable (Results 1 - 1 of 1) sorted by relevance
| /linux-4.1.27/arch/x86/kernel/ | ||
| H A D | vsmp_64.c | 67 asmlinkage __visible void vsmp_irq_enable(void) vsmp_irq_enable() function 73 PV_CALLEE_SAVE_REGS_THUNK(vsmp_irq_enable); variable |
Completed in 117 milliseconds