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