2013-10-31 13:18:51 +01:00

35 lines
749 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_CONFIG_H_
#error "the header file <freebsd/machine/rtems-bsd-config.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_ */