Contents

kdbg_get_timestamp

Declaration

uint64_t kdbg_get_timestamp(kd_buf *kp);

See Also

Kernel Debugging