/* for visws do nothing for any of these */

static inline void smpboot_clear_io_apic_irqs(void)
{
}

static inline void smpboot_setup_warm_reset_vector(void)
{
}

static inline void smpboot_setup_io_apic(void)
{
}
