arch_2i386_2include_2core_2platform_8h_source.html

#ifndef _X86_CORE_PLATFORM_H

#define _X86_CORE_PLATFORM_H


#include <dev/irq.h>


int platform_init(void);


/* Starts the tick, every `period_ns`; returns the period it really is. */

uint32_t platform_timer_setup(size_t period_ns, irq_handler_t handler);


#endif /* ! _X86_CORE_PLATFORM_H */

platform_timer_setup
uint32_t platform_timer_setup(size_t period_ns, irq_handler_t handler)
Starts the scheduler's tick: the local APIC's timer if the APIC brings the interrupts,...
Definition init.c:84

irq.h

irq_handler_t
void(*) irq_handler_t(void *arg)
Definition irq.h:21

uint32_t
unsigned int uint32_t
Definition stddef.h:22

handler
An installed handler, on its interrupt's list.
Definition irq.c:19

platform_init
int platform_init(void)
Definition init.c:31