timer.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef timer_h
#define timer_h

#include "initcalls.h"
#include "l4_types.h"

//
// INTERFACE definition follows 
//


class Timer
{
public:
  static void init() FIASCO_INIT;

  static void acknowledge();

  static void enable();

  static void disable();

  static void init_system_clock();

  static void update_system_clock();

  static Unsigned64 system_clock();

  static void update_timer(Unsigned64 wakeup);
};

//
// IMPLEMENTATION includes follow (for use by inline functions)
//


#include "cpu.h"
#include "config.h"
#include "kip.h"
#include "rtc.h"
#include "pic.h"

//
// IMPLEMENTATION of inline functions (and needed classes)
//




inline void
Timer::init_system_clock()
{
  if (Config::kinfo_timer_uses_rdtsc)
    Kip::k()->clock = Cpu::time_us();
  else
    Kip::k()->clock = 0;
}



inline Unsigned64
Timer::system_clock()
{
  if (Config::kinfo_timer_uses_rdtsc)
    Kip::k()->clock = Cpu::time_us();

  return Kip::k()->clock;
}



inline void
Timer::update_system_clock()
{
  if (Config::kinfo_timer_uses_rdtsc)
    Kip::k()->clock = Cpu::time_us();
  else
    Kip::k()->clock += Config::scheduler_granularity;
}



inline void
Timer::acknowledge()
{
  // periodic scheduling is triggered by irq 8 connected with RTC
  Pic::disable_locked(8);  
  Rtc::ack_reset();
  Pic::enable_locked(8);
}



inline void
Timer::enable()
{
  Pic::enable(8);
  Pic::enable(2); // cascade
}



inline void
Timer::disable()
{
  Pic::disable(8);
}



inline void
Timer::update_timer(Unsigned64)
{
  // does nothing in periodic mode
}

#endif // timer_h

---