annotate flags for umount
annotate flags for sys_timer_settime