/*
 * This file is just here to prevent a compiler warning about the missing include file.
 * On Genode, we do not support calling syscalls directly via a libc mechanism.
 */