Changeset View
Changeset View
Standalone View
Standalone View
sys/arm/arm/machdep.c
Show First 20 Lines • Show All 1,997 Lines • ▼ Show 20 Lines | #endif | ||||
dbg_monitor_init(); | dbg_monitor_init(); | ||||
kdb_init(); | kdb_init(); | ||||
return ((void *)STACKALIGN(thread0.td_pcb)); | return ((void *)STACKALIGN(thread0.td_pcb)); | ||||
} | } | ||||
#endif /* __ARM_ARCH < 6 */ | #endif /* __ARM_ARCH < 6 */ | ||||
#endif /* FDT */ | #endif /* FDT */ | ||||
uint32_t (*arm_cpu_fill_vdso_timehands)(struct vdso_timehands *, | |||||
struct timecounter *); | |||||
uint32_t | |||||
cpu_fill_vdso_timehands(struct vdso_timehands *vdso_th, struct timecounter *tc) | |||||
{ | |||||
return (arm_cpu_fill_vdso_timehands != NULL ? | |||||
arm_cpu_fill_vdso_timehands(vdso_th, tc) : 0); | |||||
} |