rename splhi/spllo to pushcli/popcli
This commit is contained in:
parent
39c3fb1b15
commit
3807c1f20b
6 changed files with 22 additions and 22 deletions
4
defs.h
4
defs.h
|
|
@ -115,8 +115,8 @@ void getcallerpcs(void*, uint*);
|
|||
int holding(struct spinlock*);
|
||||
void initlock(struct spinlock*, char*);
|
||||
void release(struct spinlock*);
|
||||
void splhi();
|
||||
void spllo();
|
||||
void pushcli();
|
||||
void popcli();
|
||||
|
||||
// string.c
|
||||
int memcmp(const void*, const void*, uint);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue