ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Coding style fixes

This commit is contained in:
Norman Feske 2013-01-24 11:35:27 +01:00
parent e5b30847db
commit c2a8c48574
10 changed files with 20 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
base/src/core/cpu_session_component.cc
View File

@ -1,4 +1,4 @@
/**
/*
* \brief Core implementation of the CPU session/thread interfaces
* \author Christian Helmuth
* \date 2006-07-17

3
base/src/core/include/cap_root.h
View File

@ -25,7 +25,8 @@ namespace Genode {
class Cap_root : public Root_component<Cap_session_component>
{
private:
Allocator *_md_alloc;
Allocator *_md_alloc;
protected:

10
base/src/core/include/cpu_root.h
View File

@ -36,11 +36,11 @@ namespace Genode {
return new (md_alloc())
Cpu_session_component(_thread_ep, _pager_ep, _md_alloc, args); }
void _upgrade_session(Cpu_session_component *cpu, const char *args)
{
size_t ram_quota = Arg_string::find_arg(args, "ram_quota").long_value(0);
cpu->upgrade_ram_quota(ram_quota);
}
void _upgrade_session(Cpu_session_component *cpu, const char *args)
{
size_t ram_quota = Arg_string::find_arg(args, "ram_quota").long_value(0);
cpu->upgrade_ram_quota(ram_quota);
}
public:

8
base/src/core/include/dataspace_component.h
View File

@ -46,11 +46,13 @@ namespace Genode {
RAM uncacheable respectively */
bool const _writable; /* false if dataspace is read-only */
List<Rm_region> _regions; /* regions this is attached to */
List<Rm_region> _regions; /* regions this is attached to */
Lock _lock;
/* Holds the dataspace owner if a distinction between owner and
* others is necessary on the dataspace, otherwise it is 0 */
/*
* Holds the dataspace owner if a distinction between owner and
* others is necessary on the dataspace, otherwise it is 0.
*/
Dataspace_owner const * _owner;
protected:

1
base/src/core/include/signal_root.h
View File

@ -38,6 +38,7 @@ namespace Genode {
Rpc_entrypoint *entrypoint() { return &_ep; }
};
class Signal_root : private Signal_handler,
public Root_component<Signal_session_component>
{

1
base/src/core/io_mem_session_component.cc
View File

@ -99,6 +99,7 @@ Io_mem_session_component::~Io_mem_session_component()
{
if (verbose)
PDBG("I/O mem free [%lx,%lx)", _ds.phys_addr(), _ds.phys_addr() + _ds.size());
/* dissolve IO_MEM dataspace from service entry point */
_ds_ep->dissolve(&_ds);

3
base/src/core/multiboot_info.cc
View File

@ -1,4 +1,4 @@
/**
/*
* \brief GRUB multi-boot information handling
* \author Christian Helmuth
* \date 2006-05-10
@ -34,7 +34,6 @@ void Multiboot_info::print_debug()
printf(" mem_lower = %xu\n", mbi->mem_lower);
printf(" mem_upper = %xu\n", mbi->mem_upper);
printf(" boot_device = %x\n", mbi->boot_device);
// printf(" cmdline = %08p \"%s\"\n", mbi->cmdline, (char *)mbi->cmdline);
printf(" mods_count = %d\n", mbi->mods_count);
printf(" mods_addr = %xu\n", mbi->mods_addr);

1
base/src/core/rm_session_component.cc
View File

@ -44,7 +44,6 @@ namespace Genode {
addr_t _upper_bound() const {
return (_size_log2 == ~0UL) ? ~0 : (_base + (1 << _size_log2) - 1); }
/**
* Default constructor, constructs invalid fault area
*/

4
base/src/core/signal_session_component.cc
View File

@ -101,7 +101,9 @@ void Signal_session_component::submit(Signal_context_capability context_cap,
context->source()->submit(context, _ipc_ostream, cnt);
}
Signal_context_component::~Signal_context_component() {
Signal_context_component::~Signal_context_component()
{
if (is_enqueued() && _source)
_source->release(this);
}

1
base/src/core/signal_source_component.cc
View File

@ -31,6 +31,7 @@ void Signal_source_component::release(Signal_context_component *context)
_signal_queue.remove(context);
}
void Signal_source_component::submit(Signal_context_component *context,
Ipc_ostream *ostream,
int cnt)