wrpkru
wrpkru(pkru);
wrpkru(pkru_get_init_value());
wrpkru(next->pkru);
wrpkru(vcpu->arch.host_pkru);
wrpkru(vcpu->arch.pkru);
wrpkru(vcpu->arch.host_pkru);
wrpkru(-1u);