Lines Matching defs:vmpck_id
69 static u32 vmpck_id;
70 module_param(vmpck_id, uint, 0444);
71 MODULE_PARM_DESC(vmpck_id, "The VMPCK ID to use when communicating with the PSP.");
105 dev_alert(snp_dev->dev, "Disabling vmpck_id %d to prevent IV reuse.\n",
106 vmpck_id);
327 hdr->msg_vmpck = vmpck_id;
780 snp_dev->vmpck = get_vmpck(vmpck_id, layout, &snp_dev->os_area_msg_seqno);
782 dev_err(dev, "invalid vmpck id %d\n", vmpck_id);
788 dev_err(dev, "vmpck id %d is null\n", vmpck_id);
828 dev_info(dev, "Initialized SEV guest driver (using vmpck_id %d)\n", vmpck_id);