Sebastian Huber f244de9638 Rename rtems-bsd-config.h
Rename rtems-bsd-config.h in rtems-bsd-kernel-space.h.
2013-11-11 10:08:04 +01:00

35 lines
753 B
C

/**
* @file
*
* @ingroup rtems_bsd_rtems
*
* @brief TODO.
*/
/*
* COPYRIGHT (c) 2012.
* On-Line Applications Research Corporation (OAR).
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at
* http://www.rtems.com/license/LICENSE.
*/
#ifndef _RTEMS_BSD_MACHINE_CPU_H_
#define _RTEMS_BSD_MACHINE_CPU_H_
#ifndef _RTEMS_BSD_MACHINE_RTEMS_BSD_KERNEL_SPACE_H_
#error "the header file <machine/rtems-bsd-kernel-space.h> must be included first"
#endif
#define cpu_spinwait() do { } while (0)
/* FIXME: This implementation is a security problem */
static __inline uint64_t
get_cyclecount(void)
{
return rtems_clock_get_ticks_since_boot();
}
#endif /* _RTEMS_BSD_MACHINE_CPU_H_ */