// -*- C++ -*- (c) 2016 Jan Mrázek #include #include #include namespace __dios { #include #define SYSCALL( name, schedule, ret, arg ) \ ret BaseContext:: name arg { \ __dios_trace( 0, "Syscall " #name " not implemented in this configuration" ); \ __dios_fault( (_VM_Fault) _DiOS_F_Assert, "Syscall not implemented" ); \ __builtin_unreachable(); \ } #include #include #undef SYSCALL } // namespace _dios