mirror of
https://git.FreeBSD.org/src.git
synced 2024-12-29 12:03:03 +00:00
69 lines
1.7 KiB
C
69 lines
1.7 KiB
C
/* $NetBSD: cpu.h,v 1.2 2001/02/23 21:23:52 reinoud Exp $ */
|
|
/* $FreeBSD$ */
|
|
|
|
#ifndef MACHINE_CPU_H
|
|
#define MACHINE_CPU_H
|
|
|
|
#include <machine/acle-compat.h>
|
|
#include <machine/armreg.h>
|
|
#include <machine/frame.h>
|
|
|
|
void cpu_halt(void);
|
|
void swi_vm(void *);
|
|
|
|
#ifdef _KERNEL
|
|
#if __ARM_ARCH >= 6
|
|
#include <machine/cpu-v6.h>
|
|
#endif
|
|
static __inline uint64_t
|
|
get_cyclecount(void)
|
|
{
|
|
#if __ARM_ARCH >= 6
|
|
return cp15_pmccntr_get();
|
|
#else /* No performance counters, so use binuptime(9). This is slooooow */
|
|
struct bintime bt;
|
|
|
|
binuptime(&bt);
|
|
return ((uint64_t)bt.sec << 56 | bt.frac >> 8);
|
|
#endif
|
|
}
|
|
#endif
|
|
|
|
#define TRAPF_USERMODE(frame) ((frame->tf_spsr & PSR_MODE) == PSR_USR32_MODE)
|
|
|
|
#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;
|
|
|
|
/*
|
|
* Params passed into initarm. If you change the size of this you will
|
|
* need to update locore.S to allocate more memory on the stack before
|
|
* it calls initarm.
|
|
*/
|
|
struct arm_boot_params {
|
|
register_t abp_size; /* Size of this structure */
|
|
register_t abp_r0; /* r0 from the boot loader */
|
|
register_t abp_r1; /* r1 from the boot loader */
|
|
register_t abp_r2; /* r2 from the boot loader */
|
|
register_t abp_r3; /* r3 from the boot loader */
|
|
vm_offset_t abp_physaddr; /* The kernel physical address */
|
|
vm_offset_t abp_pagetable; /* The early page table */
|
|
};
|
|
|
|
void arm_vector_init(vm_offset_t, int);
|
|
void fork_trampoline(void);
|
|
void identify_arm_cpu(void);
|
|
void *initarm(struct arm_boot_params *);
|
|
|
|
extern char btext[];
|
|
extern char etext[];
|
|
int badaddr_read(void *, size_t, void *);
|
|
#endif /* !MACHINE_CPU_H */
|