platform.h 972 B

123456789101112131415161718192021222324252627282930
  1. /* Copyright (C) 2017 Fortanix, Inc.
  2. This file is part of Graphene Library OS.
  3. Graphene Library OS is free software: you can redistribute it and/or
  4. modify it under the terms of the GNU General Public License
  5. as published by the Free Software Foundation, either version 3 of the
  6. License, or (at your option) any later version.
  7. Graphene Library OS is distributed in the hope that it will be useful,
  8. but WITHOUT ANY WARRANTY; without even the implied warranty of
  9. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  10. GNU General Public License for more details.
  11. You should have received a copy of the GNU General Public License
  12. along with this program. If not, see <http://www.gnu.org/licenses/>. */
  13. #ifndef MBEDTLS_PLATFORM_H
  14. #define MBEDTLS_PLATFORM_H
  15. #include "api.h"
  16. void * malloc(size_t size);
  17. void * calloc (size_t nmem, size_t size);
  18. void free(void *);
  19. #define mbedtls_calloc calloc
  20. #define mbedtls_free free
  21. #endif