minix3/commands/swifi/swifi.h

65 lines
1.1 KiB
C

#ifndef _LINUX_SWIFI_H
#define _LINUX_SWIFI_H
#include <stdlib.h>
#include "swifi-user.h"
long
swifi_inject_fault(char * nook_name,
unsigned long faultType,
unsigned long randSeed,
unsigned long numFaults,
void * results,
unsigned long do_inject);
long
sys_inject_fault(char * module,
unsigned long argFaultType,
unsigned long argRandomSeed,
unsigned long argNumFaults,
pswifi_result_t result_record,
unsigned long argInjectFault);
void
swifi_kfree(const void *addr);
void
swifi_vfree(void *addr);
void *
swifi_memmove_fn(void *to, void *from, size_t len);
void *
swifi_memcpy_fn(void *to, void *from, size_t len);
void *
memmove_fn(void *to, void *from, size_t len);
void *
memcpy_fn(void *to, void *from, size_t len);
unsigned long
swifi___generic_copy_from_user (void *kaddr, void *udaddr, unsigned long len);
unsigned long
swifi___generic_copy_to_user(void *udaddr, void *kaddr, unsigned long len);
void *
swifi_kmalloc(size_t size, int flags);
#if 0
void *
swifi___vmalloc(unsigned long size, int gfp_mask, pgprot_t prot);
#endif
#endif /* _LINUX_SWIFI_H */