jit.h 432 B

123456789101112
  1. #pragma once
  2. #include <stdint.h>
  3. void free_wasm_table_index(uint16_t wasm_table_index);
  4. void remove_jit_cache_wasm_index(int32_t page, uint16_t wasm_table_index);
  5. void remove_jit_cache_entry(uint32_t page, int32_t addr_index);
  6. void jit_dirty_cache(uint32_t start_addr, uint32_t end_addr);
  7. void jit_dirty_cache_single(uint32_t addr);
  8. void jit_dirty_cache_small(uint32_t start_addr, uint32_t end_addr);
  9. void jit_empty_cache(void);