__BP_HARDEN_HYP_VECS_SZ
__BP_HARDEN_HYP_VECS_SZ, &base);
ret = __pkvm_create_private_mapping(phys, __BP_HARDEN_HYP_VECS_SZ,