mirror of
https://github.com/drasko/codezero.git
synced 2026-01-13 11:23:16 +01:00
403a038845
Mutex system call fixed for multiple contenders Userspace irq support extended to keyboard/mouse. Scheduler modified for real-time irq tasks
51 lines
959 B
C
51 lines
959 B
C
/*
|
|
* Copyright 2010 B Labs Ltd.
|
|
*
|
|
* Author: Prem Mallappa <prem.mallappa@b-labs.co.uk>
|
|
*/
|
|
|
|
#ifndef __GENERIC_SMP_H__
|
|
#define __GENERIC_SMP_H__
|
|
|
|
#include INC_SUBARCH(cpu.h)
|
|
|
|
/* IPIs, we define more as we go */
|
|
/* we have limited IPI's on ARM, exactly 15 */
|
|
#define IPI_TLB_FLUSH 0x00000001
|
|
#define IPI_SCHEDULE 0x00000002
|
|
#define IPI_CACH_FLUSH 0x00000003
|
|
|
|
#if !defined (CONFIG_NCPU)
|
|
#define CONFIG_NCPU 1
|
|
#define smp_get_cpuid() 0
|
|
#endif
|
|
|
|
/* All cpus in the SMP system */
|
|
static inline unsigned int cpu_mask_all(void)
|
|
{
|
|
unsigned int mask = 0;
|
|
|
|
for (int i = 0; i < CONFIG_NCPU; i++)
|
|
mask |= (1 << i);
|
|
return mask;
|
|
}
|
|
|
|
/* All but not self */
|
|
static inline unsigned int cpu_mask_others(void)
|
|
{
|
|
unsigned int mask = 0;
|
|
|
|
for (int i = 0; i < CONFIG_NCPU; i++)
|
|
if (i != smp_get_cpuid())
|
|
mask |= (1 << i);
|
|
return mask;
|
|
}
|
|
|
|
/* Only self */
|
|
static inline unsigned int cpu_mask_self(void)
|
|
{
|
|
return 1 << smp_get_cpuid();
|
|
}
|
|
|
|
#endif /* __GENERIC_SMP_H__ */
|