Searched refs:vmpck_id (Results 1 – 1 of 1) sorted by relevance
| /Linux-v6.6/drivers/virt/coco/sev-guest/ |
| D | sev-guest.c | 64 static u32 vmpck_id; variable
65 module_param(vmpck_id, uint, 0444);
66 MODULE_PARM_DESC(vmpck_id, "The VMPCK ID to use when communicating with the PSP.");
101 vmpck_id); in snp_disable_vmpck()
322 hdr->msg_vmpck = vmpck_id; in enc_payload()
775 snp_dev->vmpck = get_vmpck(vmpck_id, layout, &snp_dev->os_area_msg_seqno); in sev_guest_probe()
777 dev_err(dev, "invalid vmpck id %d\n", vmpck_id); in sev_guest_probe()
783 dev_err(dev, "vmpck id %d is null\n", vmpck_id); in sev_guest_probe()
823 dev_info(dev, "Initialized SEV guest driver (using vmpck_id %d)\n", vmpck_id); in sev_guest_probe()
|
