Contents

kdbg_set_timestamp_and_cpu

Declaration

void kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu);

See Also

Kernel Debugging