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