/* SPDX-License-Identifier: GPL-2.0 */ 
 | 
/* 
 | 
 *  Machine specific calibrate_tsc() for generic. 
 | 
 *  Split out from timer_tsc.c by Osamu Tomita <tomita@cinet.co.jp> 
 | 
 */ 
 | 
/* ------ Calibrate the TSC -------  
 | 
 * Return 2^32 * (1 / (TSC clocks per usec)) for do_fast_gettimeoffset(). 
 | 
 * Too much 64-bit arithmetic here to do this cleanly in C, and for 
 | 
 * accuracy's sake we want to keep the overhead on the CTC speaker (channel 2) 
 | 
 * output busy loop as low as possible. We avoid reading the CTC registers 
 | 
 * directly because of the awkward 8-bit access mechanism of the 82C54 
 | 
 * device. 
 | 
 */ 
 | 
#ifndef _ASM_X86_MACH_DEFAULT_MACH_TIMER_H 
 | 
#define _ASM_X86_MACH_DEFAULT_MACH_TIMER_H 
 | 
  
 | 
#define CALIBRATE_TIME_MSEC 30 /* 30 msecs */ 
 | 
#define CALIBRATE_LATCH    \ 
 | 
    ((PIT_TICK_RATE * CALIBRATE_TIME_MSEC + 1000/2)/1000) 
 | 
  
 | 
static inline void mach_prepare_counter(void) 
 | 
{ 
 | 
       /* Set the Gate high, disable speaker */ 
 | 
    outb((inb(0x61) & ~0x02) | 0x01, 0x61); 
 | 
  
 | 
    /* 
 | 
     * Now let's take care of CTC channel 2 
 | 
     * 
 | 
     * Set the Gate high, program CTC channel 2 for mode 0, 
 | 
     * (interrupt on terminal count mode), binary count, 
 | 
     * load 5 * LATCH count, (LSB and MSB) to begin countdown. 
 | 
     * 
 | 
     * Some devices need a delay here. 
 | 
     */ 
 | 
    outb(0xb0, 0x43);            /* binary, mode 0, LSB/MSB, Ch 2 */ 
 | 
    outb_p(CALIBRATE_LATCH & 0xff, 0x42);    /* LSB of count */ 
 | 
    outb_p(CALIBRATE_LATCH >> 8, 0x42);       /* MSB of count */ 
 | 
} 
 | 
  
 | 
static inline void mach_countup(unsigned long *count_p) 
 | 
{ 
 | 
    unsigned long count = 0; 
 | 
    do { 
 | 
        count++; 
 | 
    } while ((inb_p(0x61) & 0x20) == 0); 
 | 
    *count_p = count; 
 | 
} 
 | 
  
 | 
#endif /* _ASM_X86_MACH_DEFAULT_MACH_TIMER_H */ 
 |