/* Not seen by userland */