rpc.h

Go to the documentation of this file.

 
#ifndef KERN_RPC_H
#define KERN_RPC_H
 
#include <stddef.h>
 
typedef void* (*rpc_func)(void*); 
 
typedef struct rpc_func_info {
  char name[32]; 
  rpc_func code; 
} rpc_func_info;
 
 
void* kernel_rpc_call(pid_t pid,char* name,void* buf,size_t size);
void kernel_rpc_register_func(char* name,rpc_func code);
void kernel_rpc_deallocate_buf(void* buf,size_t size);
 
void kernel_rpc_return(void* buf,size_t size);
 
size_t kernel_get_num_rpc_funcs(pid_t pid);
 
void kernel_rpc_mark_as_init();
#endif