DoxigAlpha

MACH_MSG_TYPE

Fields of this type

Fields

#
MOVE_RECEIVE:MOVE_RECEIVE
Must hold receive right
MOVE_SEND:MOVE_SEND
Must hold send right(s)
MOVE_SEND_ONCE:MOVE_SEND_ONCE
Must hold sendonce right
COPY_SEND:COPY_SEND
Must hold send right(s)
MAKE_SEND:MAKE_SEND
Must hold receive right
MAKE_SEND_ONCE:MAKE_SEND_ONCE
Must hold receive right
COPY_RECEIVE:COPY_RECEIVE
NOT VALID
DISPOSE_RECEIVE:DISPOSE_RECEIVE
Must hold receive right
DISPOSE_SEND:DISPOSE_SEND
Must hold send right(s)
DISPOSE_SEND_ONCE:DISPOSE_SEND_ONCE
Must hold sendonce right