1 /* $NetBSD: cpu.h,v 1.2 2001/02/23 21:23:52 reinoud Exp $ */
7 #include <machine/armreg.h>
8 #include <machine/frame.h>
14 static __inline uint64_t
20 return ((uint64_t)bt.sec << 56 | bt.frac >> 8);
25 #define TRAPF_USERMODE(frame) ((frame->tf_spsr & PSR_MODE) == PSR_USR32_MODE)
27 #define TRAPF_PC(tfp) ((tfp)->tf_pc)
29 #define cpu_getstack(td) ((td)->td_frame->tf_usr_sp)
30 #define cpu_setstack(td, sp) ((td)->td_frame->tf_usr_sp = (sp))
31 #define cpu_spinwait() /* nothing */
34 #define ARM_VEC_ALL 0xffffffff
36 extern vm_offset_t vector_page;
39 * Params passed into initarm. If you change the size of this you will
40 * need to update locore.S to allocate more memory on the stack before
43 struct arm_boot_params {
44 register_t abp_size; /* Size of this structure */
45 register_t abp_r0; /* r0 from the boot loader */
46 register_t abp_r1; /* r1 from the boot loader */
47 register_t abp_r2; /* r2 from the boot loader */
48 register_t abp_r3; /* r3 from the boot loader */
49 vm_offset_t abp_physaddr; /* The kernel physical address */
50 vm_offset_t abp_pagetable; /* The early page table */
53 void arm_vector_init(vm_offset_t, int);
54 void fork_trampoline(void);
55 void identify_arm_cpu(void);
56 void *initarm(struct arm_boot_params *);
60 int badaddr_read(void *, size_t, void *);
61 #endif /* !MACHINE_CPU_H */