include/kernel/arch/smp.h

   1 /*
   2 ** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
   3 ** Distributed under the terms of the NewOS License.
   4 */
   5 #ifndef _NEWOS_KERNEL_ARCH_SMP_H
   6 #define _NEWOS_KERNEL_ARCH_SMP_H
   7
   8 #include <kernel/kernel.h>
   9 #include <boot/stage2.h>
  10
  11 // must match MAX_BOOT_CPUS in stage2.h
  12 #define SMP_MAX_CPUS MAX_BOOT_CPUS
  13
  14 int arch_smp_init(kernel_args *ka);
  15 int arch_smp_get_current_cpu(void);
  16 void arch_smp_send_ici(int target_cpu);
  17 void arch_smp_send_broadcast_ici(void);
  18
  19 #endif
  20