Searched refs:os_area_msg_seqno (Results 1 – 2 of 2) sorted by relevance
1565 mdesc->vmpck = get_vmpck(vmpck_id, mdesc->secrets, &mdesc->os_area_msg_seqno); in snp_msg_init()1675 count = *mdesc->os_area_msg_seqno; in __snp_get_msg_seqno()1707 *mdesc->os_area_msg_seqno += 2; in snp_inc_msg_seqno()
319 u32 *os_area_msg_seqno; member