#include <os_config.h>
#include <sys/process.h>
#include <config/config_param.h>
#include <config/config_cparam.h>
#include <xil_types.h>
#include <xstatus.h>
#include <xparameters.h>
#include <sys/decls.h>
#include <microblaze_exceptions_g.h>
#include <sys/init.h>
#include <mb_interface.h>
#include <stdio.h>
Functions | |
void | pit_initialize (unsigned int interval) |
void | pit_reset (void) |
void | hw_init (void) |
void | xmk_enter_kernel (void) |
void | xmk_leave_kernel (void) |
Variables | |
pid_t | current_pid |
Kernel Stack pointer. | |
char | timer_need_refresh |
Ticks since kernel startup. | |
unsigned char | sched_partial_tick |
Do we need a reset? |
|
Microblaze hardware specific initialization
|
|
Initialize the PIT timer in the system
|
|
Enable and start PIT timer with configured PIT interval loaded to the PIT counter
|
|
Lock kernel by turning off ALL system interrupts
|
|
Unlock kernel by turning on system timer interrupts
|