/* FIXME: missing in kernel? */