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

Tracebuffer service. More...

Inheritance diagram for Tracebuffer:
CapAllocator InternalCapAllocator

Classes

struct  ClientData

Public Member Functions

unsigned alloc_crd ()
unsigned portal_func (Utcb &utcb, Utcb::Frame &input, bool &free_cap, cap_sel pid)
void * operator new (unsigned size, unsigned alignment)
 Tracebuffer (unsigned long size, char *buf, bool verbose, unsigned _cap, unsigned _cap_order, char *flag_revoke)
- Public Member Functions inherited from CapAllocator
 CapAllocator (unsigned long cap_, unsigned long cap_start, unsigned long cap_order)
unsigned alloc_cap (unsigned count=1)
void dealloc_cap (unsigned cap, unsigned count=1)

Private Member Functions

 ALIGNED (8) ClientDataStorage< ClientData
void trace_printf (const char *format,...)
void check_clients (Utcb &utcb)

Static Private Member Functions

static void trace_putc (void *data, int value)

Private Attributes

unsigned long _size
unsigned long _pos
char * _buf
bool _verbose
long _anon_sessions
char * _flag_revoke
Tracebuffer _storage

Additional Inherited Members

- Public Attributes inherited from CapAllocator
unsigned long _cap_
unsigned long _cap_start
unsigned long _cap_order

Detailed Description

Tracebuffer service.

Missing: trace-buffer output on debug key

Constructor & Destructor Documentation

Tracebuffer::Tracebuffer ( unsigned long  size,
char *  buf,
bool  verbose,
unsigned  _cap,
unsigned  _cap_order,
char *  flag_revoke 
)
inline

Member Function Documentation

Tracebuffer::ALIGNED ( )
private
unsigned Tracebuffer::alloc_crd ( )
inline
void Tracebuffer::check_clients ( Utcb utcb)
inlineprivate
void* Tracebuffer::operator new ( unsigned  size,
unsigned  alignment 
)
inline
unsigned Tracebuffer::portal_func ( Utcb utcb,
Utcb::Frame input,
bool &  free_cap,
cap_sel  pid 
)
inline
void Tracebuffer::trace_printf ( const char *  format,
  ... 
)
inlineprivate
static void Tracebuffer::trace_putc ( void *  data,
int  value 
)
inlinestaticprivate

Member Data Documentation

long Tracebuffer::_anon_sessions
private
char* Tracebuffer::_buf
private
char* Tracebuffer::_flag_revoke
private
unsigned long Tracebuffer::_pos
private
unsigned long Tracebuffer::_size
private
Tracebuffer Tracebuffer::_storage
private
bool Tracebuffer::_verbose
private

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