LPCR_VRMASD
lpcr |= (0x10ull << LPCR_VRMASD_SH) & LPCR_VRMASD;
LPCR_VRMASD);
kvmppc_update_lpcr(kvm, lpcr, LPCR_VRMASD);