In gdt_grow, always map the gdt on the secondary cpus too. This far
authorart <art@openbsd.org>
Fri, 25 Jul 2008 15:01:33 +0000 (15:01 +0000)
committerart <art@openbsd.org>
Fri, 25 Jul 2008 15:01:33 +0000 (15:01 +0000)
commit5a39dc24cfb8d4f789181c7a557887db6351a116
tree7ef919dc7dca7394d2f244dfaf546406506b9a57
parent04aed61d2c7aad3c5cc0e9e9ce8091e0dd91428e
In gdt_grow, always map the gdt on the secondary cpus too. This far
we depended on the pageability of the kernel_map to map them which worked
most of the time, until we hit the most improbable case - when cpu_switchto
wanted to fault in the missing gdt page, which at this moment is Verboten.

kettenis@ ok
sys/arch/amd64/amd64/gdt.c