Changeset View

Standalone View

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);
}