projects
/
userspace-rcu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
update
[userspace-rcu.git]
/
ticketlock-testwait
/
mem-progress.spin
diff --git
a/ticketlock-testwait/mem-progress.spin
b/ticketlock-testwait/mem-progress.spin
index 818f445a74872642af1cadfd92f5998ba7e62b34..c503fbabbdd044c0c9034ef0ec43934da835f6be 100644
(file)
--- a/
ticketlock-testwait/mem-progress.spin
+++ b/
ticketlock-testwait/mem-progress.spin
@@
-54,15
+54,11
@@
inline do_pause()
{
if
:: need_pause() ->
- if
+ do
:: 1 ->
- do
- :: 1 ->
- skip;
- od;
- :: 1 -> skip;
- fi;
- :: else ->
+ skip;
+ od;
+ :: 1 ->
skip;
fi;
}
This page took
0.023329 seconds
and
4
git commands to generate.