x86, vsmp: use the paravirt helpers

Signed-off-by: Glauber Costa <[email protected]>
Signed-off-by: Ravikiran Thirumalai <[email protected]>
Acked-by: Shai Fultheim <[email protected]>
Signed-off-by: Ingo Molnar <[email protected]>
Signed-off-by: Thomas Gleixner <[email protected]>

diff --git a/arch/x86/kernel/vsmp_64.c b/arch/x86/kernel/vsmp_64.c
index b93ed66c754fa904e9e3cd8447235e8e8d8fd1c3..54202b1805da6647023fe3cfb0d77c4ba7d43850 100644 (file)
--- a/arch/x86/kernel/vsmp_64.c
+++ b/arch/x86/kernel/vsmp_64.c
@@ -87,6 +87,13 @@ void __init vsmp_init(void)
             PCI_DEVICE_ID_SCALEMP_VSMP_CTL))
                return;
 
+       /* If we are, use the distinguished irq functions */
+       pv_irq_ops.irq_disable = vsmp_irq_disable;
+       pv_irq_ops.irq_enable  = vsmp_irq_enable;
+       pv_irq_ops.save_fl  = vsmp_save_fl;
+       pv_irq_ops.restore_fl  = vsmp_restore_fl;
+       pv_init_ops.patch = vsmp_patch;
+
        /* set vSMP magic bits to indicate vSMP capable kernel */
        cfg = read_pci_config(0, 0x1f, 0, PCI_BASE_ADDRESS_0);
        address = early_ioremap(cfg, 8);