Contents

kdbg_set_timestamp

Declaration

void kdbg_set_timestamp(kd_buf *kp, uint64_t thetime);

See Also

Kernel Debugging