K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-12-20T05:50:22.932759Z
K 7
svn:log
V 439
Re-arrange bits in the amd64/pmap 'pm_flags' field.

The least significant 8 bits of 'pm_flags' are now used for the IPI vector
to use for nested page table TLB shootdown.

Previously we used IPI_AST to interrupt the host cpu which is functionally
correct but could lead to misleading interrupt counts for AST handler. The
AST handler was also doing a lot more than what is required for the nested
page table TLB shootdown (EOI and IRET).

END