from stdint import * import fat32_types as types import t, c handle_table = types.handle_table lock_table = types.lock_table handles_initialized = types.handles_initialized handles_init = types.handles_init handle_alloc = types.handle_alloc lock_check = types.lock_check lock_acquire = types.lock_acquire lock_release = types.lock_release def handle_free(fp): fp.is_open = 0 fp.lock_count = 0