diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-05-31 13:43:02 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-31 13:43:02 -0400 |
commit | 004aab09629c2bb54b31ea86fddae1b288df27b2 (patch) | |
tree | 51ecf2038eca9a8eed5601a561c0510ebba247c7 /include | |
parent | a6424094365f7d63b6c9dade8f8f72ef26e92b45 (diff) |
Fix pathmap bug; expose lower-level heap manipulation from C
Diffstat (limited to 'include')
-rw-r--r-- | include/urweb.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/urweb.h b/include/urweb.h index 73f06da7..a286f9c8 100644 --- a/include/urweb.h +++ b/include/urweb.h @@ -196,4 +196,8 @@ __attribute__((noreturn)) void uw_return_blob(uw_context, uw_Basis_blob, uw_Basi void uw_register_transactional(uw_context, void *data, uw_callback commit, uw_callback rollback, uw_callback free); +void uw_check_heap(uw_context, size_t extra); +char *uw_heap_front(uw_context); +void uw_set_heap_front(uw_context, char*); + #endif |