mars/kernel/lamport.h
2013-07-22 08:44:03 +02:00

11 lines
217 B
C

// (c) 2010 Thomas Schoebel-Theuer / 1&1 Internet AG
#ifndef LAMPORT_H
#define LAMPORT_H
#include <linux/time.h>
extern void get_lamport(struct timespec *now);
extern void set_lamport(struct timespec *old);
#endif