jlmadushan/system-spend-rebellious

Artifacts

binary

helpers.h

0 lines

10.5 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_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);