fixup.h

Go to the documentation of this file.

 
#ifndef __FIXUP_H__
#define __FIXUP_H__
 
#include <stdint.h>
#include <stddef.h>
 
struct _fixup_entry {
    uint64_t instruction;
    uint64_t fixup_address;
};
 
extern uint64_t __search_fixup_table(uint64_t fault_pc);
 
extern long __bordoisila_copy_from_user(void* dst, const void* usrc, size_t n);
 
extern long __bordoisila_copy_to_user(void* udst, const void* src, size_t n);
 
extern void __bordoisila_fixup_table_check();
 
#endif