| (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 |