enclave_pages.h 327 B

1234567
  1. /* -*- mode:c; c-file-style:"k&r"; c-basic-offset: 4; tab-width:4; indent-tabs-mode:nil; mode:auto-fill; fill-column:78; -*- */
  2. /* vim: set ts=4 sw=4 et tw=78 fo=cqt wm=0: */
  3. extern void * heap_base;
  4. void init_pages (void);
  5. void * get_reserved_pages (void * addr, uint64_t size);
  6. void free_pages (void * addr, uint64_t size);