エラーコードは2番目の戻り値で返す

[uchan-nos]

システムコールの戻り値の2番目がエラーコードなので、 return { 0, EBADF } が正しい。

mikanos/kernel/syscall.cpp

Line 195 in 8bd6c4b

return { EBADF, 0 };