diff options
Diffstat (limited to 'lib/cpio.h')
| -rw-r--r-- | lib/cpio.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/cpio.h b/lib/cpio.h index 972fc60f7..46df6edd1 100644 --- a/lib/cpio.h +++ b/lib/cpio.h @@ -102,14 +102,16 @@ extern "C" { * @retval fsm file path and stat info * @return 0 on success */ -int cpioTrailerWrite(FSM_t fsm); +int cpioTrailerWrite(FSM_t fsm) + /*@modifies fsm, fileSystem @*/; /** * Write cpio header. * @retval fsm file path and stat info * @return 0 on success */ -int cpioHeaderWrite(FSM_t fsm, struct stat * st); +int cpioHeaderWrite(FSM_t fsm, struct stat * st) + /*@modifies fsm, fileSystem @*/; /** * Read cpio header. |