MSR_HV_SIEFP_PGSHIFT
siefp &= (1<<MSR_HV_SIEFP_PGSHIFT) - 1;
siefp |= (atop(pa) << MSR_HV_SIEFP_PGSHIFT);