activation.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef activation_h
#define activation_h

#include "l4_types.h"

//
// INTERFACE definition follows 
//


class Receiver;
class Activation {
public:  
  Activation(Global_id);
  
  void dispatcher(Receiver *);

private:  
  void ipc_receiver_ready();
};

#endif // activation_h

---