#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	= _ipc_sendrec_intr,
	.send		= _ipc_send_intr,
	.notify		= _ipc_notify_intr,
	.senda		= _ipc_senda_intr,
	.sendnb		= _ipc_sendnb_intr,
	.receive	= _ipc_receive_intr,
	.do_kernel_call	= _do_kernel_call_intr,
};

void __minix_init(void)
{
	if((get_minix_kerninfo(&_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 != NULL))
	{
		_minix_ipcvecs = *_minix_kerninfo->minix_ipcvecs;
	}
}