remove some magic numbers in the flush-by-asid code and check if the CPU
authormlarkin <mlarkin@openbsd.org>
Tue, 20 Jun 2017 06:25:01 +0000 (06:25 +0000)
committermlarkin <mlarkin@openbsd.org>
Tue, 20 Jun 2017 06:25:01 +0000 (06:25 +0000)
commita92211007f7ffcd0a7cc8faa0380e04b81e4ab4f
tree8b36d669dc486252fbfb3a1ddea6ec8632a8e0ab
parenta937696c39107baeddb1d74b491792853797e3a6
remove some magic numbers in the flush-by-asid code and check if the CPU
supports that feature before we try to use it.

discussed with deraadt
sys/arch/amd64/amd64/vmm.c
sys/arch/amd64/include/specialreg.h