32 lines
928 B
C
32 lines
928 B
C
|
|
#ifndef _ARM_ACONST_H
|
|
#define _ARM_ACONST_H
|
|
|
|
#include <machine/interrupt.h>
|
|
#include <machine/memory.h>
|
|
#include <machine/cpu.h>
|
|
|
|
/* Program stack words and masks. */
|
|
#define INIT_PSR (MODE_USR | PSR_F) /* initial psr */
|
|
#define INIT_TASK_PSR (MODE_SVC | PSR_F) /* initial psr for tasks */
|
|
|
|
/* Exception vector numbers */
|
|
#define RESET_VECTOR 0
|
|
#define UNDEFINED_INST_VECTOR 1
|
|
#define SUPERVISOR_CALL_VECTOR 2
|
|
#define PREFETCH_ABORT_VECTOR 3
|
|
#define DATA_ABORT_VECTOR 4
|
|
#define HYPERVISOR_CALL_VECTOR 5
|
|
#define INTERRUPT_VECTOR 6
|
|
#define FAST_INTERRUPT_VECTOR 7
|
|
|
|
/*
|
|
* defines how many bytes are reserved at the top of the kernel stack for global
|
|
* information like currently scheduled process or current cpu id
|
|
*/
|
|
#define ARM_STACK_TOP_RESERVED (2 * sizeof(reg_t))
|
|
|
|
#define PG_ALLOCATEME ((phys_bytes)-1)
|
|
|
|
#endif /* _ARM_ACONST_H */
|