/* SPDX-License-Identifier: GPL-2.0 */
#ifndef __UM_SHARED_SMP_H
#define __UM_SHARED_SMP_H

#if IS_ENABLED(CONFIG_SMP)

extern int uml_ncpus;

int uml_curr_cpu(void);
void uml_start_secondary(void *opaque);
void uml_ipi_handler(int vector);

#else /* !CONFIG_SMP */

#define uml_ncpus 1
#define uml_curr_cpu() 0

#endif /* CONFIG_SMP */

#endif /* __UM_SHARED_SMP_H */