.ptable_len = 0,
.procs_index = 0
};
-
- __current = &dummy;
}
void schedule() {
apic_done_servicing();
- asm volatile ("pushl %0\n jmp soft_iret\n"::"r"(&__current->intr_ctx): "memory");
+ asm volatile (
+ "pushl %0\n"
+ "jmp soft_iret\n"::"r"(&__current->intr_ctx): "memory");
}
pid_t alloc_pid() {