NOVA User-Level Environment  Version testbox/changed-memory-timing-317-g320d8b5
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
TimerHelper Class Reference

#include <timer_helper.h>

Inheritance diagram for TimerHelper:
TimerProtocol GenericProtocol ParentProtocol

Public Member Functions

unsigned msleep (unsigned msecs)
 TimerHelper (CapAllocator *a)
- Public Member Functions inherited from TimerProtocol
unsigned triggered_timeouts (Utcb &utcb, unsigned &count)
unsigned time (Utcb &utcb, timevalue &wallclocktime, timevalue &timestamp)
 Returns the wall clock time in microseconds.
unsigned timer (Utcb &utcb, timevalue abstime)
 Program timer for timer.abstime.
 TimerProtocol (unsigned cap_base, unsigned instance=0)
- Public Member Functions inherited from GenericProtocol
unsigned call_server (Utcb &utcb, bool drop_frame)
 Call the server in a loop to resolve all faults.
unsigned call_server_drop (Utcb &utcb)
unsigned call_server_keep (Utcb &utcb)
template<class T >
void destroy (Utcb &utcb, unsigned portal_num, T *obj)
 Destroy the object.
void close (Utcb &utcb, unsigned portal_num, bool revoke_lock=true, bool _release_pseudonym=true)
 Close the session to the parent.
unsigned get_notify_sm ()
Utcbinit_frame (Utcb &utcb, unsigned op)
 GenericProtocol (const char *service, unsigned instance, unsigned cap_base, bool blocking, unsigned session_base=~0u)
- Public Member Functions inherited from ParentProtocol
 static_assert ((CAP_PT_PERCPU+Config::MAX_CPUS)< (1U<< Config::CAP_RESERVED_ORDER),"Capability Space misconfiguration.")

Private Attributes

Clock clock
KernelSemaphore timersem

Additional Inherited Members

- Public Types inherited from TimerProtocol
enum  { TYPE_REQUEST_TIMER = ParentProtocol::TYPE_GENERIC_END, TYPE_REQUEST_TIME, TYPE_REQUEST_LAST_TIMEOUT }
- Static Public Member Functions inherited from GenericProtocol
static Utcbinit_frame_noid (Utcb &utcb, unsigned op)
- Static Public Attributes inherited from TimerProtocol
static const unsigned long WALLCLOCK_FREQUENCY = Config::WALLCLOCK_FREQUENCY
 Timer infrastructure.
- Protected Attributes inherited from GenericProtocol
const char * _service
unsigned _instance
unsigned _cap_base
 Base of the capability range. This cap refers to CAP_PSEUDONYM.
unsigned _session_base
 Base of the session portals.
Semaphore _lock
bool _blocking
bool _disabled

Constructor & Destructor Documentation

TimerHelper::TimerHelper ( CapAllocator a)
inline

Member Function Documentation

unsigned TimerHelper::msleep ( unsigned  msecs)
inline

Member Data Documentation

Clock TimerHelper::clock
private
KernelSemaphore TimerHelper::timersem
private

The documentation for this class was generated from the following file: