| cpu.h (259329) | cpu.h (266160) |
|---|---|
| 1/* $NetBSD: cpu.h,v 1.2 2001/02/23 21:23:52 reinoud Exp $ */ | 1/* $NetBSD: cpu.h,v 1.2 2001/02/23 21:23:52 reinoud Exp $ */ |
| 2/* $FreeBSD: stable/10/sys/arm/include/cpu.h 259329 2013-12-13 20:43:11Z ian $ */ | 2/* $FreeBSD: stable/10/sys/arm/include/cpu.h 266160 2014-05-15 17:30:16Z ian $ */ |
| 3 4#ifndef MACHINE_CPU_H 5#define MACHINE_CPU_H 6 7#include <machine/armreg.h> 8#include <machine/frame.h> 9 10void cpu_halt(void); --- 25 unchanged lines hidden (view full) --- 36extern vm_offset_t vector_page; 37 38struct arm_boot_params { 39 register_t abp_size; /* Size of this structure */ 40 register_t abp_r0; /* r0 from the boot loader */ 41 register_t abp_r1; /* r1 from the boot loader */ 42 register_t abp_r2; /* r2 from the boot loader */ 43 register_t abp_r3; /* r3 from the boot loader */ | 3 4#ifndef MACHINE_CPU_H 5#define MACHINE_CPU_H 6 7#include <machine/armreg.h> 8#include <machine/frame.h> 9 10void cpu_halt(void); --- 25 unchanged lines hidden (view full) --- 36extern vm_offset_t vector_page; 37 38struct arm_boot_params { 39 register_t abp_size; /* Size of this structure */ 40 register_t abp_r0; /* r0 from the boot loader */ 41 register_t abp_r1; /* r1 from the boot loader */ 42 register_t abp_r2; /* r2 from the boot loader */ 43 register_t abp_r3; /* r3 from the boot loader */ |
| 44 vm_offset_t abp_physaddr; /* The kernel physical address */ |
|
| 44}; 45 46void arm_vector_init(vm_offset_t, int); 47void fork_trampoline(void); 48void identify_arm_cpu(void); 49void *initarm(struct arm_boot_params *); 50 51extern char btext[]; 52extern char etext[]; 53int badaddr_read(void *, size_t, void *); 54#endif /* !MACHINE_CPU_H */ | 45}; 46 47void arm_vector_init(vm_offset_t, int); 48void fork_trampoline(void); 49void identify_arm_cpu(void); 50void *initarm(struct arm_boot_params *); 51 52extern char btext[]; 53extern char etext[]; 54int badaddr_read(void *, size_t, void *); 55#endif /* !MACHINE_CPU_H */ |