- each CPU has its own runqueues - processes on BSP are put on the runqueues later after a switch to the final stack when cpuid works to avoid special cases - enqueue() and dequeue() use the run queues of the cpu the process is assigned to - pick_proc() uses the local run queues - printing of per-CPU run queues ('2') on serial console
14 lines
325 B
C
14 lines
325 B
C
#ifndef __GLO_X86_H__
|
|
#define __GLO_X86_H__
|
|
|
|
#include "kernel/kernel.h"
|
|
#include "arch_proto.h"
|
|
|
|
EXTERN int cpu_has_tsc; /* signal whether this cpu has time stamp register. This
|
|
feature was introduced by Pentium */
|
|
|
|
EXTERN struct tss_s tss[CONFIG_MAX_CPUS];
|
|
|
|
EXTERN int i386_paging_enabled;
|
|
|
|
#endif /* __GLO_X86_H__ */
|