mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-15 06:57:12 +00:00
parent
9bc42ecd87
commit
059aba0916
@ -249,12 +249,6 @@ namespace Kernel
|
||||
}
|
||||
|
||||
|
||||
/**
|
||||
* Handle request of an unknown signal type
|
||||
*/
|
||||
void handle_invalid_syscall(Thread * const) { assert(0); }
|
||||
|
||||
|
||||
/**
|
||||
* Do specific syscall for 'user', for details see 'syscall.h'
|
||||
*/
|
||||
|
Loading…
x
Reference in New Issue
Block a user