Symbol: get_seqnum
usr/src/cmd/hotplugd/hotplugd_door.c
224
seqnum = get_seqnum();
usr/src/cmd/hotplugd/hotplugd_door.c
77
static uint64_t get_seqnum(void);