Could someone please test the pmap-v6.c patch at https://reviews.freebsd.org/D16443 on HEAD? If the patched kernel boots, and can recompile a new kernel, that should suffice for testing. This patch is not intended to make any significant functional changes by itself, but to ease porting of a newish pmap feature/optimization that we have on amd64, arm64, and i386. Thanks.