timotheetrepier@gmail.com/test123test

Artifacts

binary

helpers.h

0 lines

15.2 KB

#pragma once
#include <stdint.h>
#include <stdbool.h>
#include "primitive-types.h"

uint64_t do_ioctl_blkpg(void *, void *, uint32_t, uint32_t, uint64_t);

uint64_t do_ioctl_dm(void *, void *, uint32_t, uint32_t, uint64_t);

uint64_t do_ioctl_fs_ioc_fiemap(void *, void *, uint32_t, uint32_t, uint64_t);

uint64_t do_ioctl_ifconf(void *, void *, uint32_t, uint32_t, uint64_t);

uint64_t do_ioctl_kdsigaccept(void *, void *, uint32_t, uint32_t, uint64_t);

uint64_t do_ioctl_rt(void *, void *, uint32_t, uint32_t, uint64_t);

void helper_lock(void);

void helper_unlock(void);

void host_to_target_termios(void *, void *);

uint64_t lshift(uint64_t, uint32_t);

void rcu_init(void);

void revng_abort(void *);

void target_to_host_termios(void *, void *);

void helper_flds_FT0_wrapper(void *, uint32_t, uint8_t, uint8_t, uint8_t, void *, void *, void *);

void helper_fmul_ST0_FT0_wrapper(void *, uint32_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint64_t, uint16_t, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *);

void helper_fninit_wrapper(void *, uint16_t, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *);

uint64_t revng_undefined_local_sp(void);

uint8_t llvm_fshl_i8(uint8_t, uint8_t, uint8_t);