/*
 * ----------------------------------------------------------------------------
 * "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_ */