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
Age
Commit message (
Expand
)
Author
2023-02-23
hppa: Add missing barriers in cpu_switchto.
riastradh
2023-02-23
arm32: Add missing barriers in cpu_switchto.
riastradh
2023-02-23
alpha: Add missing barriers in cpu_switchto.
riastradh
2023-02-23
aarch64: Add missing barriers in cpu_switchto.
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-23
nvmm: Filter CR4 bits on x86 SVM (AMD).
riastradh
2023-02-23
wscons(4): Paranoia: Clamp numbers of rows and columns.
riastradh
2023-02-23
wscons(4): Ignore nonsense tab stops in vt100 emulation.
riastradh
2023-02-22
ufs: Nix trailing whitespace and tidy up some other minor KNF.
riastradh
2023-02-22
rump: Nix membar_enter/exit after/before RUMPUSER_LWP_CREATE/DESTROY.
riastradh
2023-02-22
rumpkern/lwproc.c: Nix trailing whitespace.
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-22
Retry autonegotiation every mii_anegticks seconds instead of mii_anegticks+1.
msaitoh
2023-02-21
s/jumo/jumbo/ in comments.
andvar
2023-02-21
drm: Teach dmabuf to handle lseek.
riastradh
2023-02-21
ksyms(4): Reject negative offsets earlier in lseek.
riastradh
2023-02-21
amdgpu: Fix scale factor for 64-bit doorbell indexing.
riastradh
2023-02-20
mips/asm.h: Make membar macros conditional on MULTIPROCESSOR.
riastradh
2023-02-20
sparc64: Rename internal barrier macros to be clearer.
riastradh
2023-02-20
sparc64: Add missing LoadStore ordering for mutex_enter stub.
riastradh
2023-02-19
s/collsions/collisions/ in comment.
andvar
2023-02-19
Adjust userspace comments in db_read_bytes() and db_write_bytes() to
simonb
2023-02-19
Only copyin/copyout from and to user addresses.
mlelstv
2023-02-19
Spaces to TABs. NFCI.
skrll
2023-02-19
Add missing "latin small letter sharp s" (U+00DF) to ibm437 map.
mlelstv
2023-02-18
In itimer_arm_real(), KASSERT that it->it_dying is false. This was
thorpej
2023-02-18
Introduce a flag to disable PDMA when writing.
nat
2023-02-18
Honor the XS_CTL_POLL flag and fallback to polled io instead of PDMA.
nat
2023-02-18
the HDAUDIO_ENABLE_HDMI option is obsolete. don't define here..
mrg
2023-02-17
ucom(4): Missed a spot in previous -- nix now-unused local.
riastradh
2023-02-17
ucom(4): Nix broken error branch.
riastradh
2023-02-17
ttycheckoutq(9): wait is always 0. Assert it; prune dead branches.
riastradh
2023-02-17
Add AMD CPUID Fn0000_0008 %ebx bit 3 INVLPGB.
msaitoh
2023-02-17
Avoid undefined behaviour.
skrll
2023-02-17
Improve an error message
skrll
2023-02-17
Fix SYSCTL_DEBUG_CREATE for non-x86 by using copyin
skrll
2023-02-17
Trailing whitespace
skrll
2023-02-15
dev/wscons/wsdisplay_vcons.c: Sprinkle KNF.
riastradh
2023-02-15
kern/subr_devsw.c: Nix trailing whitespace.
riastradh
[prev]
[next]