Searched refs:os_area_msg_seqno (Results 1 – 2 of 2) sorted by relevance
1736 mdesc->vmpck = get_vmpck(vmpck_id, mdesc->secrets, &mdesc->os_area_msg_seqno); in snp_msg_init()1847 count = *mdesc->os_area_msg_seqno; in __snp_get_msg_seqno()1879 *mdesc->os_area_msg_seqno += 2; in snp_inc_msg_seqno()
319 u32 *os_area_msg_seqno; member
Completed in 11 milliseconds