NOVA User-Level Environment  Version testbox/changed-memory-timing-317-g320d8b5
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
ab::DummyFS Class Reference
Inheritance diagram for ab::DummyFS:
NovaProgram ProgramConsole BaseProgram CapAllocator InternalCapAllocator

Public Member Functions

void init_service ()
unsigned alloc_cap (unsigned num=1)
unsigned alloc_crd ()
bool use_filesystem (Utcb *utcb, Hip *hip)
void run (Utcb *utcb, Hip *hip)
- Public Member Functions inherited from NovaProgram
 NovaProgram ()
- Public Member Functions inherited from CapAllocator
 CapAllocator (unsigned long cap_, unsigned long cap_start, unsigned long cap_order)
void dealloc_cap (unsigned cap, unsigned count=1)

Static Public Member Functions

static unsigned portal_func (Utcb &utcb, Utcb::Frame &input, bool &free_cap, cap_sel pid)
- Static Public Member Functions inherited from NovaProgram
static void exit (const char *msg)
 Default exit function.
- Static Public Member Functions inherited from BaseProgram
static Utcbmyutcb (unsigned long esp=0)
 Get the UTCB pointer from the top of the stack, which is laid out as follows:
static phy_cpu_no mycpu ()
 Return my CPU number.
static void revoke_all_mem (void *address, unsigned long size, unsigned rights, bool myself)
 Revoke all memory for a given virtual region.
static Crd request_mapping (char *start, unsigned long size, unsigned long hotspot)
 Request the mapping for a memory area.

Private Attributes

RegionList< 512 > * cap_range

Additional Inherited Members

- Public Attributes inherited from CapAllocator
unsigned long _cap_
unsigned long _cap_start
unsigned long _cap_order
- Static Public Attributes inherited from BaseProgram
static const unsigned stack_size_shift = 12
static const unsigned stack_size = (1U << stack_size_shift)
- Protected Member Functions inherited from NovaProgram
Utcballoc_utcb ()
 Alloc a region of virtual memory to put an EC into.
template<class C >
 __attribute__ ((nonnull(6))) unsigned create_ec_helper(C *tls
 Create an EC and setup the stack.
void init_mem (Hip *hip)
 Init the memory map from the HIP as we get them from sigma0.
void __attribute__ ((noreturn)) block_forever()
 Block ourself.
- Protected Member Functions inherited from ProgramConsole
void console_init (const char *name, Semaphore *sem)
- Static Protected Member Functions inherited from ProgramConsole
static void putc (void *data, int value)
- Protected Attributes inherited from NovaProgram
Hip_hip
unsigned _cap_block
RegionList< 512 > _free_virt
RegionList< 512 > _free_phys
RegionList< 512 > _virt_phys
phy_cpu_no cpunr
phy_cpu_no unsigned excbase
phy_cpu_no unsigned Utcb ** utcb_out
phy_cpu_no unsigned Utcb void * func
phy_cpu_no unsigned Utcb void
unsigned long 
cap = ~0UL
phy_cpu_no unsigned Utcb void
unsigned long bool 
local
- Protected Attributes inherited from ProgramConsole
VgaRegs _vga_regs
struct console_data _console_data
char _vga_console [0x1000]

Member Function Documentation

unsigned ab::DummyFS::alloc_cap ( unsigned  num = 1)
inline

Reimplemented from CapAllocator.

unsigned ab::DummyFS::alloc_crd ( )
inline
void ab::DummyFS::init_service ( )
inline
static unsigned ab::DummyFS::portal_func ( Utcb utcb,
Utcb::Frame input,
bool &  free_cap,
cap_sel  pid 
)
inlinestatic
void ab::DummyFS::run ( Utcb utcb,
Hip hip 
)
inline
bool ab::DummyFS::use_filesystem ( Utcb utcb,
Hip hip 
)
inline

Member Data Documentation

RegionList<512>* ab::DummyFS::cap_range
private

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