Searched refs:os_area_msg_seqno (Results 1 – 1 of 1) sorted by relevance
60 u32 *os_area_msg_seqno; member113 count = *snp_dev->os_area_msg_seqno; in __snp_get_msg_seqno()145 *snp_dev->os_area_msg_seqno += 2; in snp_inc_msg_seqno()775 snp_dev->vmpck = get_vmpck(vmpck_id, layout, &snp_dev->os_area_msg_seqno); in sev_guest_probe()
