// (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