mirror of
https://github.com/drasko/codezero.git
synced 2026-01-13 11:23:16 +01:00
26 lines
557 B
C
26 lines
557 B
C
/*
|
|
* Copyright (C) 2010 B Labs Ltd.
|
|
* Author: Prem Mallappa <prem.mallappa@b-labs.co.uk>
|
|
*/
|
|
|
|
#ifndef __ARM_GLUE_INIT_H__
|
|
#define __ARM_GLUE_INIT_H__
|
|
|
|
#include <l4/generic/tcb.h>
|
|
#include <l4/generic/space.h>
|
|
|
|
void switch_to_user(struct ktcb *inittask);
|
|
void timer_start(void);
|
|
|
|
void init_kernel_mappings(void);
|
|
void start_virtual_memory(void);
|
|
void finalize_virtual_memory(void);
|
|
void init_finalize(void);
|
|
|
|
void secondary_idle_task_init(void);
|
|
void remove_section_mapping(unsigned long vaddr);
|
|
|
|
void vectors_init(void);
|
|
|
|
#endif /* __ARM_GLUE_INIT_H__ */
|