HPET timer driver for x86_64. More...

#include <device/hpet.h>
#include <logging.h>
#include <memory/paging.h>
#include <apic.h>
#include <cpu/interrupt.h>
#include <cpu.h>
#include <time.h>

Functions
	MODULE ("turnstone.kernel.hw.hpet")

int8_t	hpet_isr (interrupt_frame_ext_t *frame)
	hpet interrupt service routine

int8_t	hpet_init (void)
	initializes hpet

Variables
boolean_t	hpet_enabled = false
	stores if hpet is enabled

Detailed Description

HPET timer driver for x86_64.

This work is licensed under TURNSTONE OS Public License. Please read and understand latest version of Licence.

Function Documentation

◆ hpet_init()

int8_t hpet_init ( void )

initializes hpet

Returns: 0 if hpet was initialized, -1 otherwise

◆ hpet_isr()

int8_t hpet_isr ( interrupt_frame_ext_t * frame )

hpet interrupt service routine

Parameters

frame	interrupt frame
irqno	irq number

Returns: 0 if interrupt was handled, -1 otherwise

◆ MODULE()

MODULE ( "turnstone.kernel.hw.hpet" )

module name

Variable Documentation

◆ hpet_enabled

boolean_t hpet_enabled = false

stores if hpet is enabled

variable for hpet enabled flag

Functions