When performing context switch on a machine without PCID, if current %cr3 equals to the new pmap %cr3, which is typical for kernel_pmap vs. kernel process, I overlooked to update PCPU curpmap value.
Reported by: eadler, ambrisko
Discussed with: kevans
Tested by: ambrisko