/*
 * ----------------------------------------------------------------------------
 * "THE BEER-WARE LICENSE" (Revision 42):
 * <phk@FreeBSD.org> wrote this file.  As long as you retain this notice you
 * can do whatever you want with this stuff. If we meet some day, and you think
 * this stuff is worth it, you can buy me a beer in return.   Poul-Henning Kamp
 * ----------------------------------------------------------------------------
 *
 * $FreeBSD: src/sys/i386/include/smp.h,v 1.50.2.5 2001/02/13 22:32:45 tegge Exp $
 */

#ifndef _MACHINE_SMP_H_
#define _MACHINE_SMP_H_

#ifdef _KERNEL

#ifndef LOCORE

/* global data in apic_vector.s */
extern volatile cpumask_t	stopped_cpus;
extern int			optcpus;	/* from main() */
extern int			vkernel_b_arg;	/* arg from main() */
extern int			vkernel_B_arg;	/* arg from main() */

void	mp_start		(void);
void	mp_announce		(void);
int	stop_cpus		(cpumask_t);
void	ap_init			(void);
int	restart_cpus		(cpumask_t);
void	cpu_send_ipiq		(int);
int	cpu_send_ipiq_passive	(int);

/* global data in init_smp.c */
extern cpumask_t		smp_active_mask;

/* Detect CPU topology bits */
void detect_cpu_topology(void);

/* Interface functions for IDs calculation */
int get_chip_ID(int cpuid);
int get_chip_ID_from_APICID(int apicid);
int get_core_number_within_chip(int cpuid);
int get_logical_CPU_number_within_core(int cpuid);

/* Assume that APICID = CPUID for virtual processors */
#define get_cpuid_from_apicid(apicid) apicid
#define get_apicid_from_cpuid(cpuid) cpuid
#define CPUID_TO_APICID(cpuid) get_apicid_from_cpuid(cpuid)

#endif /* !LOCORE */

#endif /* _KERNEL */
#endif /* _MACHINE_SMP_H_ */