Newer SVM implementations (Bulldozer) give the desired address on a INVLPG intercept explicitly in the EXITINFO1 field of the VMCB. Use this address to avoid a costly instruction fetch and deocde cycle. Only useful with shadow paging. Signed-off-by: Andre Przywara