get_seqnum

Description:

public uint64 get_seqnum ()

Gets the most recent sequence number for this.

Parameters:

this

A Device.

Returns:

A sequence number.