index
:
netbsd
lockcount-9.3
lockdoc-10.99.5
lockdoc-10.99.5-vfs
lockdoc-9.3
lockdoc-9.3-vfs
trunk
NetBSD fork for lockdoc analysis
merlin@scholz.ruhr
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sys
/
kern
Age
Commit message (
Expand
)
Author
2023-04-16
autoconf(9): Avoid potential ABA bug in config_makeroom.
riastradh
2023-04-16
pserialize(9): Fix buggy assertion inside assertion.
riastradh
2023-04-14
pserialize(9): Fix bug in recent micro-optimization.
riastradh
2023-04-12
mbuf(9): New m_get_n, m_gethdr_n.
riastradh
2023-04-12
kern: Nix mutex_owner.
riastradh
2023-04-12
ttycheckoutq(9): wait=0 always, parameter no longer useful, nix it.
riastradh
2023-04-11
thmap(9): kmem_zalloc(KM_SLEEP) never fails. Prune dead branch.
riastradh
2023-04-11
ttwrite(9): Assert we mangle uio_resid only if we also return error.
riastradh
2023-04-11
uiomove(9): Stronger assertions about iov array.
riastradh
2023-04-11
kmsan: Format exact instruction addresses relative to symbols.
riastradh
2023-04-09
pool(9): Tweak branch prediction in pool_cache_get_paddr assertion.
riastradh
2023-04-09
kpause(9): Simplify assertion. No functional change intended.
riastradh
2023-04-09
pool(9): Simplify assertion in pool_update_curpage.
riastradh
2023-04-09
kern: KASSERT(A && B) -> KASSERT(A); KASSERT(B)
riastradh
2023-04-09
kmem(9): Tweak branch predictions in fast paths.
riastradh
2023-04-09
pserialize(9): Micro-optimize pserialize_read_exit.
riastradh
2023-04-09
pserialize(9): Micro-optimize pserialize_not_in_read_section_p.
riastradh
2023-04-09
ASSERT_SLEEPABLE(9): Micro-optimize this a little bit.
riastradh
2023-04-03
Fix typos: s/trough/through/
gutteridge
2023-04-01
0x%p -> %p in KASSERTMSGs
skrll
2023-03-31
mbuf(9): Sprinkle KASSERTMSG.
riastradh
2023-03-30
sockaddr_alloc(9): Avoid uninitialized buffer in sockaddr_checklen.
riastradh
2023-03-24
extattr_set_vp(): properly handle XATTR_REPLACE flags, FFSv2ea will return
bouyer
2023-03-13
vn_open(9): Add assertion that vp is locked on return.
riastradh
2023-03-13
vn_open(9): Clarify that this returns a locked vnode.
riastradh
2023-03-05
open(2): Don't map ERESTART to EINTR.
riastradh
2023-03-03
entropy(9): Allow changing flags on all entropy sources at once.
riastradh
2023-03-01
random(4): Report number of bytes ready to read, not number of bits.
riastradh
2023-02-26
ci_data.cpu_kcpuset -> ci_kcpuset
skrll
2023-02-25
Trailing whitespace
skrll
2023-02-24
mutex(9): Simplify membars.
riastradh
2023-02-24
rwlock(9): Omit needless macro indirection for membars.
riastradh
2023-02-24
kern: Eliminate most __HAVE_ATOMIC_AS_MEMBAR conditionals.
riastradh
2023-02-24
rwlock(9): Fix membars.
riastradh
2023-02-23
KERNEL_LOCK(9): Minor tweaks to ci->ci_biglock_wanted access.
riastradh
2023-02-23
pcq(9): KASSERT(A && B) -> KASSERT(A); KASSERT(B)
riastradh
2023-02-23
pcq(9): Sketch correctness proof for some critical properties.
riastradh
2023-02-23
pcq(9): Explain why membar_release isn't needed in pcq_get.
riastradh
2023-02-23
pcq(9): Explain why store need not be atomic in pcq_get.
riastradh
2023-02-23
pcq(9): Fix consume operation in pcq_peek/get.
riastradh
2023-02-23
pcq(9): Make pcq_put a release operation, in memory ordering.
riastradh
2023-02-23
kern_descrip.c: Change membar_enter to membar_acquire in fd_getfile.
riastradh
2023-02-23
kern_descrip.c: Use atomic_store_relaxed/release for ff->ff_file.
riastradh
2023-02-23
kern_descrip.c: Fix membars around reference count decrement.
riastradh
2023-02-23
itimer(9): Sprinkle some more assertions.
riastradh
2023-02-23
itimer(9): Use callout_setfunc/schedule instead of callout_reset.
riastradh
2023-02-22
_vstate_assert: Use atomic_load/store_relaxed. Omit membar_enter.
riastradh
2023-02-22
autoconf(9): Clarify assertions about iattr in config_search.
riastradh
2023-02-21
ksyms(4): Reject negative offsets earlier in lseek.
riastradh
2023-02-18
In itimer_arm_real(), KASSERT that it->it_dying is false. This was
thorpej
[prev]
[next]