Incoming LMP endpoint message buffer. More...

Data Fields
capaddr_t	recv_cspc
	Address of cspace root of cnode to receive caps.

capaddr_t	recv_cptr
	CSpace address of slot to receive caps.

uint32_t	delivered
	Position in buffer (words delivered by kernel)

uint32_t	consumed
	Position in buffer (words consumed by user)

uintptr_t	buf []
	Buffer for async LMP messages.

Detailed Description

Incoming LMP endpoint message buffer.

The documentation for this struct was generated from the following file:

Data Fields