#pypp 0
#include "kernel.hh"

Capability *Memory::find_capability (unsigned code):
	for Capability *c = capabilities; c; c = c->next:
		if c == (Capability *)code:
			return c
	return NULL

void Capability::invoke (unsigned d0, unsigned d1, unsigned d2, unsigned d3, Capability *c0, Capability *c1, Capability *c2, Capability *c3):
	if (unsigned)target & PAGE_MASK:
		// TODO: Create message in receiver.
		return
	// TODO: Handle kernel request.