get_cpu_struct
cpu_ent *get_cpu_struct(void);
Thread* thread = get_cpu_struct()->running_thread;
cpu_ent* cpu = get_cpu_struct();
cpu_ent *cpu = get_cpu_struct();
cpu_ent *cpu = get_cpu_struct();
const cpu_ent* cpu = get_cpu_struct();
cpu_ent* cpu = get_cpu_struct();
cpu_ent* cpu = get_cpu_struct();
cpu_ent* cpu = get_cpu_struct();
cpu_ent* cpu = get_cpu_struct();
cpu_ent* cpu = get_cpu_struct();
cpu_ent* cpu = get_cpu_struct();
cpu_ent* cpuEnt = get_cpu_struct();
cpu_ent* cpuEnt = get_cpu_struct();
cpu_ent* cpu = get_cpu_struct();
get_cpu_struct()->arch.tss.sp0 = thread->kernel_stack_top;
cpu_ent* cpu = get_cpu_struct();
cpu_ent* cpu = get_cpu_struct();
cpu_ent* cpu = get_cpu_struct();
cpu_ent* cpu = get_cpu_struct();
get_cpu_struct()->invoke_scheduler = true;
get_cpu_struct()->preempted = true;
} else if (atomic_get(&get_cpu_struct()->ici_counter)