Subversion Repositories shark

Compare Revisions

This comparison shows the changes necessary to convert path

→ /shark/trunk/ports/first/include/grubstar.h @ 807

→ /shark/trunk/ports/first/include/grubstar.h @ 808

↔ Reverse comparison
Compare Path: Rev

With Path: Rev

Ignore whitespace Rev 807 → Rev 808

/shark/trunk/ports/first/include/grubstar.h
98,5 → 98,7

bandwidth_t GRUBSTAR_return_bandwidth(LEVEL l);

void GRUBSTAR_disable_server(LEVEL l, int budget);

#endif