/* DO NOT EVER CHANGE THIS FILE */
/* */
/* change simcalls specification in src/simix/simcalls.in */
+/* Copyright (c) 2014-2017. The SimGrid Team. All rights reserved. */
/**********************************************************************/
/*
SIMCALL_FILE_WRITE,
SIMCALL_FILE_OPEN,
SIMCALL_FILE_CLOSE,
- SIMCALL_FILE_UNLINK,
- SIMCALL_FILE_GET_SIZE,
- SIMCALL_FILE_TELL,
- SIMCALL_FILE_SEEK,
- SIMCALL_FILE_GET_INFO,
SIMCALL_FILE_MOVE,
- SIMCALL_STORAGE_GET_FREE_SIZE,
- SIMCALL_STORAGE_GET_USED_SIZE,
- SIMCALL_STORAGE_GET_PROPERTIES,
SIMCALL_MC_RANDOM,
SIMCALL_SET_CATEGORY,
SIMCALL_RUN_KERNEL,