#include <stdio.h>
#include <minix/ipc.h>

/* Minix kernel info, IPC functions pointers */
struct minix_kerninfo *_minix_kerninfo = NULL;

void    __minix_init(void) __attribute__((__constructor__, __used__));

struct minix_ipcvecs _minix_ipcvecs = {
	.sendrec_ptr = _sendrec_orig,
	.send_ptr = _send_orig,
	.notify_ptr = _notify_orig,
	.senda_ptr = _senda_orig,
	.sendnb_ptr = _sendnb_orig,
	.receive_ptr = _receive_orig,
	.do_kernel_call_ptr = _do_kernel_call_orig,
};

void __minix_init(void)
{
	if((_minix_kernel_info_struct(&_minix_kerninfo)) != 0
	  || _minix_kerninfo->kerninfo_magic != KERNINFO_MAGIC) {
		_minix_kerninfo = NULL;
         } else if((_minix_kerninfo->ki_flags & MINIX_KIF_IPCVECS) &&
         	_minix_kerninfo->minix_ipcvecs) {
		_minix_ipcvecs = *_minix_kerninfo->minix_ipcvecs;
         }
}