Make sure pmap_kernel's mutex field gets correctly initialized rather than
authormiod <miod@openbsd.org>
Fri, 23 Aug 2024 15:14:45 +0000 (15:14 +0000)
committermiod <miod@openbsd.org>
Fri, 23 Aug 2024 15:14:45 +0000 (15:14 +0000)
commitd7d91d036887cf3809ede8c974f339235c366c3d
tree8a7cf1bb89760e949a5365ab5bc52912f8450a42
parentf313ac3fa12918dfaad47589c74da85d1638e8c2
Make sure pmap_kernel's mutex field gets correctly initialized rather than
bss initialized.
sys/arch/alpha/alpha/pmap.c