(Please      use      a      smaller        font        and/or       appropriate     terminal   width  to      see    this     line without wrapping)


                                              REGION DESCRIPTORS
                                              (starts at page 0)
                                       +------------------------------+
                                       |     major_version: u16       |
                                       +------------------------------+
                                       |     minor_version: u16       |
                                       +------------------------------+
        (size of shared memory)        |         size: u32            |
                                       +------------------------------+
          (number of regions)          |     region_count: u32        |
                                       +------------------------------+
  (offset of region descriptor data)   | vsoc_region_desc_offset: u32 |o-----+
                                       +------------------------------+      |
                                       |                              |      |
                                       | ..          ..            .. |      |
                                       |                              |      |
      (region 0 descriptor start)      +------------------------------+ <----+
                                       |    current_version: u16      |
                                       +------------------------------+
                                       |  min_compatible_version: u16 |
                                       +------------------------------+
       (start offset of region 0)      |  region_begin_offset: u32    |o--------------------+
                                       +------------------------------+                     |
       (end offset   of region 0)      |  region_end_offset: u32      |o----------------------------------------------------------------------+
                                       +------------------------------+                     |                                                 |
                                       |  offset_of_region_data: u32  |o-----+              |                                                 |
                                       +------------------------------+      |              |                                                 |
                                       | guest_to_host_signal_table   |      |              |                                                 |
                                       |______________________________|      |              |                                                 |
                                        +----------------------------+       |              |                                                 |
                                        |    num_nodes_lg2: u32      |       |              |                                                 |
                                        +----------------------------+       |              |                                                 |
                                        |futex_uaddr_table_offset:u32|o------------------+  |                                                 |
                                        +----------------------------+       |           |  |                                                 |
                                        | intr_signaled_offset: u32  |o----------------+ |  |                                                 |
                                        +----------------------------+       |         | |  |                                                 |
                                       +------------------------------+      |         | |  |                                                 |
                                       | host_to_guest_signal_table   |      |         | |  |                                                 |
                                       |______________________________|      |         | |  |                                                 |
                                        +----------------------------+       |         | |  |                                                 |
                                        |    num_nodes_lg2: u32      |       |         | |  |                                                 |
                                        +----------------------------+       |         | |  |                                                 |
                                        |futex_uaddr_table_offset:u32|o--------------+ | |  |                                                 |
                                        +----------------------------+       |       | | |  \/      REGION AREA (page aligned)                |
                                        | intr_signaled_offset: u32  |o------|-----+ | | |  +---------------------------------------+         |
                                        +----------------------------+       |     | | | |  |  region area before start of guest to |         |
                                       +------------------------------+      |     | | | |  |  host signal table.                   |         |
                                       |    device_name: char[16]     |      |     | | | |  |     (currently does not exist)        |         |
         (region 0 descriptor end)     +------------------------------+      |     | | | +->+---------------------------------------+         |
       (region 1 descriptor start)     |                              |      |     | | |    |        uaddr_offset_0 : u32           |         |
                                       |  current_version: u16        |      |     | | |    +---------------------------------------+         |
                                       +------------------------------+      |     | | |    |        uaddr_offset_1 : u32           |         |
                                       |  min_compatible_version: u16 |      |     | | |    +---------------------------------------+         |
                                       +------------------------------+      |     | | |    |     ...      ..       ...             |         |
                                       |  region_begin_offset: u32    |      |     | | |    +---------------------------------------+         |
                                       +------------------------------+      |     | | |    | uaddr_offset_(2^num_nodes_lg2 - 1):u32|         |
                                       |  region_end_offset: u32      |      |     | | +--->+---------------------------------------+         |
                                       +------------------------------+      |     | |      |     (interrupt_signaled_area) : u32   |         |
                                       |  offset_of_region_data: u32  |      |     | +----->+---------------------------------------+         |
                                       +------------------------------+      |     |        |        uaddr_offset_0 : u32           |         |
                                       | guest_to_host_signal_table   |      |     |        +---------------------------------------+         |
                                       +------------------------------+      |     |        |     ...      ..       ...             |         |
                                       | host_to_guest_signal_table   |      |     |        +---------------------------------------+         |
                                       +------------------------------+      |     |        | uaddr_offset_(2^num_nodes_lg2 - 1):u32|         |
                                       |    device_name: char[16]     |      |     +------->+---------------------------------------+         |
          (region 1 descriptor end)    +------------------------------+      |              |     (interrupt_signaled_area) : u32   |         |
                                       ...           ...            ...      +------------->+---------------------------------------+         |
                                       +------------------------------+                     |                                       |         |
                                       |    current_version: u16      |                     |                                       |         |
                                       +------------------------------+                     |                                       |         |
                                       |  min_compatible_version: u16 |                     |         region specific data          |         |
                                       +------------------------------+                     | (defined by region specific agreement |         |
                                       |  region_begin_offset: u32    |                     |  between HAL and host-side process)   |         |
                                       +------------------------------+                     |                                       |         |
                                       |  region_end_offset: u32      |                     |                                       |         |
                                       +------------------------------+                     |                                       |         |
                                       |  offset_of_region_data: u32  |                     +---------------------------------------+ <-------+
                                       +------------------------------+
                                       | guest_to_host_signal_table   |
                                       +------------------------------+
                                       | host_to_guest_signal_table   |
                                       +------------------------------+
                                       |    device_name: char[16]     |
                                       +------------------------------+
                                          END OF REGION DESCRIPTORS