It was already asserted to be curthread. Semantic patch: @@ expression arg1, arg2, arg3; @@ - vget(arg1, arg2, arg3) + vget(arg1, arg2) |
||
---|---|---|
.. | ||
pseudofs_fileno.c | ||
pseudofs_internal.h | ||
pseudofs_vncache.c | ||
pseudofs_vnops.c | ||
pseudofs.c | ||
pseudofs.h |
It was already asserted to be curthread. Semantic patch: @@ expression arg1, arg2, arg3; @@ - vget(arg1, arg2, arg3) + vget(arg1, arg2) |
||
---|---|---|
.. | ||
pseudofs_fileno.c | ||
pseudofs_internal.h | ||
pseudofs_vncache.c | ||
pseudofs_vnops.c | ||
pseudofs.c | ||
pseudofs.h |