[PATCH mig 2/2] Add support for MACH_MSG_TYPE_COPY_SEND_ONCE

[Sergey Bugaev]

---
 cpu.sym  | 2 ++
 lexxer.l | 1 +
 2 files changed, 3 insertions(+)

diff --git a/cpu.sym b/cpu.sym
index 1ac2fae..fe208c9 100644
--- a/cpu.sym
+++ b/cpu.sym
@@ -69,6 +69,8 @@ expr MACH_MSG_TYPE_COPY_SEND
 expr MACH_MSG_TYPE_MAKE_SEND
 /* Must hold receive rights */
 expr MACH_MSG_TYPE_MAKE_SEND_ONCE
+/* Must hold sendonce rights */
+expr MACH_MSG_TYPE_COPY_SEND_ONCE
 
 /*
  *  Values received/carried in messages.  Tells the receiver what
diff --git a/lexxer.l b/lexxer.l
index 6e2234e..cd4ef3d 100644
--- a/lexxer.l
+++ b/lexxer.l
@@ -180,6 +180,7 @@ static void doSharp(const char *body); /* process body of # 
directives */
 <Normal>"MACH_MSG_TYPE_MOVE_SEND"      
TPRETURN(MACH_MSG_TYPE_MOVE_SEND,MACH_MSG_TYPE_PORT_SEND,port_size_in_bits);
 <Normal>"MACH_MSG_TYPE_MAKE_SEND_ONCE" 
TPRETURN(MACH_MSG_TYPE_MAKE_SEND_ONCE,MACH_MSG_TYPE_PORT_SEND_ONCE,port_size_in_bits);
 <Normal>"MACH_MSG_TYPE_MOVE_SEND_ONCE" 
TPRETURN(MACH_MSG_TYPE_MOVE_SEND_ONCE,MACH_MSG_TYPE_PORT_SEND_ONCE,port_size_in_bits);
+<Normal>"MACH_MSG_TYPE_COPY_SEND_ONCE" 
TPRETURN(MACH_MSG_TYPE_COPY_SEND_ONCE,MACH_MSG_TYPE_PORT_SEND_ONCE,port_size_in_bits);
 
 <Normal>"MACH_MSG_TYPE_PORT_NAME"      
TRETURN(MACH_MSG_TYPE_PORT_NAME,port_name_size_in_bits);
 <Normal>"MACH_MSG_TYPE_PORT_RECEIVE"   
TPRETURN(MACH_MSG_TYPE_POLYMORPHIC,MACH_MSG_TYPE_PORT_RECEIVE,port_size_in_bits);
-- 
2.44.0