dispatcher_shared.h File Reference

Generic dispatcher struct shared between kernel and user. More...

Macros
#define	DISPATCHER_FRAME_BITS   18
	Amount of space required for the dispatcher frame. This should be at least greater than the memory required for struct disp_priv. Keeping it as a power of 2 allows using a single cap for dispatcher frame. More...

Detailed Description

Generic dispatcher struct shared between kernel and user.

Macro Definition Documentation

#define DISPATCHER_FRAME_BITS   18

Amount of space required for the dispatcher frame. This should be at least greater than the memory required for struct disp_priv. Keeping it as a power of 2 allows using a single cap for dispatcher frame.