diff options
author | Andy Wingo <wingo@pobox.com> | 2025-04-11 14:10:41 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2025-04-11 14:10:41 +0200 |
commit | db181e67ff482ab08cbdb0c1a88997b3a886f900 (patch) | |
tree | 6d16fbca515ae3cf506a9d16dbc89c472446e5d9 /libguile/whippet/src/gc-platform.h | |
parent | af96820e072d18c49ac03e80c6f3466d568dc77d (diff) | |
parent | f909438596f63ecd44c5b9a28385260714857361 (diff) | |
download | guile-db181e67ff482ab08cbdb0c1a88997b3a886f900.tar.gz |
Merged Whippet into libguile/whippet
Diffstat (limited to 'libguile/whippet/src/gc-platform.h')
-rw-r--r-- | libguile/whippet/src/gc-platform.h | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/libguile/whippet/src/gc-platform.h b/libguile/whippet/src/gc-platform.h new file mode 100644 index 000000000..b642e8157 --- /dev/null +++ b/libguile/whippet/src/gc-platform.h @@ -0,0 +1,48 @@ +#ifndef GC_PLATFORM_H +#define GC_PLATFORM_H + +#ifndef GC_IMPL +#error internal header file, not part of API +#endif + +#include <stdint.h> + +#include "gc-visibility.h" + +struct gc_heap; + +GC_INTERNAL void gc_platform_init(void); +GC_INTERNAL uintptr_t gc_platform_current_thread_stack_base(void); +GC_INTERNAL +void gc_platform_visit_global_conservative_roots(void (*f)(uintptr_t start, + uintptr_t end, + struct gc_heap *heap, + void *data), + struct gc_heap *heap, + void *data); +GC_INTERNAL int gc_platform_processor_count(void); +GC_INTERNAL uint64_t gc_platform_monotonic_nanoseconds(void); + +GC_INTERNAL size_t gc_platform_page_size(void); + +struct gc_reservation { + uintptr_t base; + size_t size; +}; + +GC_INTERNAL +struct gc_reservation gc_platform_reserve_memory(size_t size, size_t alignment); +GC_INTERNAL +void* +gc_platform_acquire_memory_from_reservation(struct gc_reservation reservation, + size_t offset, size_t size); +GC_INTERNAL +void gc_platform_release_reservation(struct gc_reservation reservation); + +GC_INTERNAL void* gc_platform_acquire_memory(size_t size, size_t alignment); +GC_INTERNAL void gc_platform_release_memory(void *base, size_t size); + +GC_INTERNAL int gc_platform_populate_memory(void *addr, size_t size); +GC_INTERNAL int gc_platform_discard_memory(void *addr, size_t size); + +#endif // GC_PLATFORM_H |