/* $NetBSD: cpu.h,v 1.2 2001/02/23 21:23:52 reinoud Exp $ */
/* $FreeBSD: head/sys/arm/include/cpu.h 133084 2004-08-03 18:44:27Z mux $ */

#ifndef MACHINE_CPU_H
#define MACHINE_CPU_H

#include <machine/armreg.h>

void    cpu_halt(void);
void    swi_vm(void *);

static __inline uint64_t
get_cyclecount(void)
{
	return (0);
}

#define CPU_CONSDEV 1
#define CPU_ADJKERNTZ           2       /* int: timezone offset (seconds) */
#define CPU_DISRTCSET           3       /* int: disable resettodr() call */
#define CPU_BOOTINFO            4       /* struct: bootinfo */
#define CPU_WALLCLOCK           5       /* int: indicates wall CMOS clock */
#define CPU_MAXID               6       /* number of valid machdep ids */


#define CLKF_USERMODE(frame)    ((frame->if_spsr & PSR_MODE) == PSR_USR32_MODE)

#define TRAPF_USERMODE(frame)	((frame->tf_spsr & PSR_MODE) == PSR_USR32_MODE)
#define CLKF_PC(frame)          (frame->if_pc)

#define TRAPF_PC(tfp)		((tfp)->tf_pc)

#define cpu_getstack(td)        ((td)->td_frame->tf_usr_sp)
#define cpu_setstack(td, sp)    ((td)->td_frame->tf_usr_sp = (sp))
#define cpu_spinwait()		/* nothing */

#define ARM_NVEC		8
#define ARM_VEC_ALL		0xffffffff

extern vm_offset_t vector_page;

void fork_trampoline(void);
void *initarm(void *, void *);
void arm_vector_init(vm_offset_t, int);
void identify_arm_cpu(void);

extern char btext[];
extern char etext[];
int badaddr_read (void *, size_t, void *);
#endif /* !MACHINE_CPU_H */