Searched refs:vmpck_id (Results 1 – 1 of 1) sorted by relevance
| /openbmc/linux/drivers/virt/coco/sev-guest/ |
| H A D | sev-guest.c | 69 static u32 vmpck_id; variable
70 module_param(vmpck_id, uint, 0444);
71 MODULE_PARM_DESC(vmpck_id, "The VMPCK ID to use when communicating with the PSP.");
106 vmpck_id); in snp_disable_vmpck()
327 hdr->msg_vmpck = vmpck_id; in enc_payload()
780 snp_dev->vmpck = get_vmpck(vmpck_id, layout, &snp_dev->os_area_msg_seqno); in sev_guest_probe()
782 dev_err(dev, "invalid vmpck id %d\n", vmpck_id); in sev_guest_probe()
788 dev_err(dev, "vmpck id %d is null\n", vmpck_id); in sev_guest_probe()
828 dev_info(dev, "Initialized SEV guest driver (using vmpck_id %d)\n", vmpck_id); in sev_guest_probe()
|