diff options
author | Frans Kaashoek <[email protected]> | 2022-08-11 14:22:00 -0400 |
---|---|---|
committer | Frans Kaashoek <[email protected]> | 2022-08-11 14:22:00 -0400 |
commit | 4f716c8550b406c3e4b3e0c21b986ef99bc06c40 (patch) | |
tree | 282dde85659ea25f81c03a4368efa909df65f58e /kernel/defs.h | |
parent | 429c7b717edd4c23d3666327986052b9b6eb29eb (diff) | |
download | xv6-labs-4f716c8550b406c3e4b3e0c21b986ef99bc06c40.tar.gz xv6-labs-4f716c8550b406c3e4b3e0c21b986ef99bc06c40.tar.bz2 xv6-labs-4f716c8550b406c3e4b3e0c21b986ef99bc06c40.zip |
Use p->lock to read p->killed
Diffstat (limited to 'kernel/defs.h')
-rw-r--r-- | kernel/defs.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/defs.h b/kernel/defs.h index 7181d4d..e38ec00 100644 --- a/kernel/defs.h +++ b/kernel/defs.h @@ -91,6 +91,7 @@ pagetable_t proc_pagetable(struct proc *); void proc_freepagetable(pagetable_t, uint64); int kill(int); int killed(struct proc*); +void setkilled(struct proc*); struct cpu* mycpu(void); struct cpu* getmycpu(void); struct proc* myproc(); |