kernel - Use higher invltlb synchronization timeout if guest
authorMatthew Dillon <dillon@apollo.backplane.com>
Fri, 16 Jul 2021 02:53:36 +0000 (19:53 -0700)
committerAaron LI <aly@aaronly.me>
Tue, 20 Jul 2021 23:28:27 +0000 (07:28 +0800)
commit2d20c15fc71e5e5fededb861710511fb82543426
treef5f11361714e9ac90ce1cd67809e3ec29a2e6311
parent8ef3e14af2bbd354a089d97c3f18a94817561e88
kernel - Use higher invltlb synchronization timeout if guest

* Increase the invltlb synchronization timeout from 10 seconds
  to 60 seconds if running as a guest.  Just in case the host
  is heavily paging the guest, 10 seconds might not be enough.

  Of course, performance will be absolutely terrible if broadcast
  IPIs take that long to synchronize, but there isn't anything
  the guest can do about it.
sys/platform/pc64/x86_64/mp_machdep.c