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