# can't find it from official documentation, I found the code @enumToInt(os.E.TIME) from github, thank!
# or, if you prefer: https://kernel.googlesource.com/pub/scm/linux/kernel/git/nico/archive/+/v0.97/include/linux/errno.h#65