#pragma once
#include "Arch/Exceptions.h"
#include <Types.h>
#include <OS/Scheduler.h>

UInt64 IPCSend(OSTask* sender, UInt64 handleID, UInt64 data);
void IPCReceive(ExceptionsContext* receiverFrame);