I'm not sure why you need a different page directory for each processor. what's your thinking on this?
You might add some comments in your patches so that if becomes more obvious what you are doing... To Unsubscribe: send mail to majord...@freebsd.org with "unsubscribe freebsd-current" in the body of the message