x86/mm: Add TLB purge to free pmd/pte page interfaces
[linux/fpc-iii.git] / drivers / pps / kc.h
blobd296fcd0a1757e358d11121d45e7386bf78481f6
1 /*
2 * PPS kernel consumer API header
4 * Copyright (C) 2009-2010 Alexander Gordeev <lasaine@lvk.cs.msu.su>
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program; if not, write to the Free Software
18 * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
21 #ifndef LINUX_PPS_KC_H
22 #define LINUX_PPS_KC_H
24 #include <linux/errno.h>
25 #include <linux/pps_kernel.h>
27 #ifdef CONFIG_NTP_PPS
29 extern int pps_kc_bind(struct pps_device *pps,
30 struct pps_bind_args *bind_args);
31 extern void pps_kc_remove(struct pps_device *pps);
32 extern void pps_kc_event(struct pps_device *pps,
33 struct pps_event_time *ts, int event);
36 #else /* CONFIG_NTP_PPS */
38 static inline int pps_kc_bind(struct pps_device *pps,
39 struct pps_bind_args *bind_args) { return -EOPNOTSUPP; }
40 static inline void pps_kc_remove(struct pps_device *pps) {}
41 static inline void pps_kc_event(struct pps_device *pps,
42 struct pps_event_time *ts, int event) {}
44 #endif /* CONFIG_NTP_PPS */
46 #endif /* LINUX_PPS_KC_H */