kerosina/normalisation-knee-trashy

Artifacts

binary

helpers.h

0 lines

16.05 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);

uint64_t helper_inl(void *, uint32_t);

void host_to_target_termios(void *, void *);

uint64_t lshift(uint64_t, uint32_t);

void rcu_init(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_fadd_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_check_iol_wrapper(void *, uint32_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint32_t, uint64_t, uint64_t, uint64_t, uint64_t, uint32_t, uint32_t, uint64_t, uint32_t, uint64_t, uint32_t, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *, void *);

uint64_t revng_undefined_local_sp(void);