| Server IP : 82.208.35.60 / Your IP : 216.73.216.89 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/lib/include/machine/ |
Upload File : |
/*- * Kernel interface to machine-dependent clock driver. * Garrett Wollman, September 1994. * This file is in the public domain. * * $FreeBSD: releng/12.4/sys/amd64/include/clock.h 334204 2018-05-25 07:33:20Z avg $ */ #ifndef _MACHINE_CLOCK_H_ #define _MACHINE_CLOCK_H_ #ifdef _KERNEL /* * i386 to clock driver interface. * XXX large parts of the driver and its interface are misplaced. */ extern int clkintr_pending; extern u_int i8254_freq; extern int i8254_max_count; extern uint64_t tsc_freq; extern int tsc_is_invariant; extern int tsc_perf_stat; #ifdef SMP extern int smp_tsc; #endif void i8254_init(void); void i8254_delay(int); void clock_init(void); /* * Driver to clock driver interface. */ void startrtclock(void); void init_TSC(void); void resume_TSC(void); #define HAS_TIMER_SPKR 1 int timer_spkr_acquire(void); int timer_spkr_release(void); void timer_spkr_setfreq(int freq); #endif /* _KERNEL */ #endif /* !_MACHINE_CLOCK_H_ */