hpet.h

Go to the documentation of this file.

#ifndef XTF_X86_HPET_H
#define XTF_X86_HPET_H

#include <xtf/numbers.h>
#include <xtf/macro_magic.h>
#include <xtf/types.h>

#define HPET_ID                 0x0
#define   HPET_ID_MAX_PERIOD    0x05f5e100
#define   HPET_ID_NUMBER_MASK   0x1f00

#define HPET_CFG                0x010
#define   HPET_CFG_ENABLE       0x001

#define HPET_COUNTER            0x0f0

#define HPET_Tn_CFG(n)         (0x100 + (n) * 0x20)

#define HPET_Tn_CMP(n)         (0x108 + (n) * 0x20)

#define HPET_DEFAULT_BASE       0xfed00000

/* Number of available HPET timers. */
extern unsigned int hpet_nr_timers;

int hpet_init(void);

static inline uint32_t hpet_read32(unsigned int reg)
{
    return *(volatile uint32_t *)(_p(HPET_DEFAULT_BASE) + reg);
}

static inline uint64_t hpet_read64(unsigned int reg)
{
    return *(volatile uint64_t *)(_p(HPET_DEFAULT_BASE) + reg);
}

static inline void hpet_write32(unsigned int reg, uint32_t val)
{
    *(volatile uint32_t *)(_p(HPET_DEFAULT_BASE) + reg) = val;
}

static inline void hpet_write64(unsigned int reg, uint64_t val)
{
    *(volatile uint64_t *)(_p(HPET_DEFAULT_BASE) + reg) = val;
}

static inline uint64_t hpet_read_counter(void)
{
    if ( IS_DEFINED(CONFIG_64BIT) )
        return hpet_read64(HPET_COUNTER);
    else
    {
        uint32_t lo, hi;

        do {
            hi = hpet_read32(HPET_COUNTER + 4);
            lo = hpet_read32(HPET_COUNTER);
        } while ( hi != hpet_read32(HPET_COUNTER + 4) );

        return ((uint64_t)hi << 32) | lo;
    }
}

void hpet_init_timer(unsigned int nr, unsigned int irq, uint64_t ticks,
                     bool level, bool periodic, bool mode32bit);

#endif /* !XTF_X86_HPET_H */

/*
 * Local variables:
 * mode: C
 * c-file-style: "BSD"
 * c-basic-offset: 4
 * tab-width: 4
 * indent-tabs-mode: nil
 * End:
 */