| /* | |
| * Licensed to the Apache Software Foundation (ASF) under one | |
| * or more contributor license agreements. See the NOTICE file | |
| * distributed with this work for additional information | |
| * regarding copyright ownership. The ASF licenses this file | |
| * to you under the Apache License, Version 2.0 (the | |
| * "License"); you may not use this file except in compliance | |
| * with the License. You may obtain a copy of the License at | |
| * | |
| * http://www.apache.org/licenses/LICENSE-2.0 | |
| * | |
| * Unless required by applicable law or agreed to in writing, | |
| * software distributed under the License is distributed on an | |
| * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY | |
| * KIND, either express or implied. See the License for the | |
| * specific language governing permissions and limitations | |
| * under the License. | |
| */ | |
| extern "C" { | |
| void __attribute__((noreturn)) TVMPlatformAbort(tvm_crt_error_t error_code) { | |
| printf("TVMPlatformAbort: %d\n", error_code); | |
| printf("EXITTHESIM\n"); | |
| exit(-1); | |
| } | |
| tvm_crt_error_t TVMPlatformMemoryAllocate(size_t num_bytes, DLDevice dev, | |
| void **out_ptr) { | |
| return kTvmErrorFunctionCallNotImplemented; | |
| } | |
| tvm_crt_error_t TVMPlatformMemoryFree(void *ptr, DLDevice dev) { | |
| return kTvmErrorFunctionCallNotImplemented; | |
| } | |
| void TVMLogf(const char *msg, ...) { | |
| va_list args; | |
| va_start(args, msg); | |
| vfprintf(stdout, msg, args); | |
| va_end(args); | |
| } | |
| TVM_DLL int TVMFuncRegisterGlobal(const char *name, TVMFunctionHandle f, | |
| int override) { | |
| return 0; | |
| } | |
| } | |