Send Queue
              +-+-+-+-+-+
   .----------| | | | | |<-------------------.
   |          +-+-+-+-+-+                    |
   |  gm_num_send_tokens() slots             |
   |                                         |
   |       Receive Buffer Pool               |
   |          +-+-+-+-+-+                    |
   | .--------| | | | | |<-----------------. |
   | |        +-+-+-+-+-+                  | |
   | | gm_num_receive_tokens() slots       | |
   | |                                     | |
   | |                                     | |         LANai Memory
- -|-|- - - - - - - - - - - - - - - - - - -|-|- - - - - - - - - - -
   | |                                     | |  User Virtual Memory
   | |     Receive Event Queue             | |
   | `------->+-+-+-+-+-+                +--------+
   |          | | | | | |--------------->| Client |
   `--------->+-+-+-+-+-+                |Software|
       gm_num_receive_tokens() +         +--------+
       gm_num_send_tokens() slots
                                 
                          User Token Flow