Lines Matching refs:fstack_t
42 void branch_common(fcode_env_t *, short, fstack_t, int);
242 void print_stack_element(fcode_env_t *, fstack_t);
426 fstack_t mapping_to_mcookie(uint64_t, size_t, uint64_t, size_t);
427 void delete_mapping(fstack_t);
428 int is_mcookie(fstack_t);
429 uint64_t mcookie_to_addr(fstack_t);
430 fstack_t mcookie_to_rlen(fstack_t);
431 fstack_t mcookie_to_rvirt(fstack_t);