Docs for __GET_SYSCALL_RESULT