|  | /**************************************************************************** | 
|  | **************************************************************************** | 
|  | *** | 
|  | ***   This header was automatically generated from a Linux kernel header | 
|  | ***   of the same name, to make information necessary for userspace to | 
|  | ***   call into the kernel available to libc.  It contains only constants, | 
|  | ***   structures, and macros generated from the original header, and thus, | 
|  | ***   contains no copyrightable information. | 
|  | *** | 
|  | ***   To edit the content of this header, modify the corresponding | 
|  | ***   source file (e.g. under external/kernel-headers/original/) then | 
|  | ***   run bionic/libc/kernel/tools/update_all.py | 
|  | *** | 
|  | ***   Any manual change here will be lost the next time this script will | 
|  | ***   be run. You've been warned! | 
|  | *** | 
|  | **************************************************************************** | 
|  | ****************************************************************************/ | 
|  | #ifndef _UAPI_LINUX_VSOC_SHM_H | 
|  | #define _UAPI_LINUX_VSOC_SHM_H | 
|  | #include <linux/types.h> | 
|  | struct fd_scoped_permission { | 
|  | __u32 begin_offset; | 
|  | __u32 end_offset; | 
|  | __u32 owner_offset; | 
|  | __u32 owned_value; | 
|  | }; | 
|  | #define VSOC_REGION_FREE ((__u32) 0) | 
|  | struct fd_scoped_permission_arg { | 
|  | struct fd_scoped_permission perm; | 
|  | __s32 managed_region_fd; | 
|  | }; | 
|  | #define VSOC_NODE_FREE ((__u32) 0) | 
|  | struct vsoc_signal_table_layout { | 
|  | __u32 num_nodes_lg2; | 
|  | __u32 futex_uaddr_table_offset; | 
|  | __u32 interrupt_signalled_offset; | 
|  | }; | 
|  | #define VSOC_REGION_WHOLE ((__s32) 0) | 
|  | #define VSOC_DEVICE_NAME_SZ 16 | 
|  | struct vsoc_device_region { | 
|  | __u16 current_version; | 
|  | __u16 min_compatible_version; | 
|  | __u32 region_begin_offset; | 
|  | __u32 region_end_offset; | 
|  | __u32 offset_of_region_data; | 
|  | struct vsoc_signal_table_layout guest_to_host_signal_table; | 
|  | struct vsoc_signal_table_layout host_to_guest_signal_table; | 
|  | char device_name[VSOC_DEVICE_NAME_SZ]; | 
|  | __u32 managed_by; | 
|  | }; | 
|  | struct vsoc_shm_layout_descriptor { | 
|  | __u16 major_version; | 
|  | __u16 minor_version; | 
|  | __u32 size; | 
|  | __u32 region_count; | 
|  | __u32 vsoc_region_desc_offset; | 
|  | }; | 
|  | #define CURRENT_VSOC_LAYOUT_MAJOR_VERSION 2 | 
|  | #define CURRENT_VSOC_LAYOUT_MINOR_VERSION 0 | 
|  | #define VSOC_CREATE_FD_SCOPED_PERMISSION _IOW(0xF5, 0, struct fd_scoped_permission) | 
|  | #define VSOC_GET_FD_SCOPED_PERMISSION _IOR(0xF5, 1, struct fd_scoped_permission) | 
|  | #define VSOC_MAYBE_SEND_INTERRUPT_TO_HOST _IO(0xF5, 2) | 
|  | #define VSOC_WAIT_FOR_INCOMING_INTERRUPT _IO(0xF5, 3) | 
|  | #define VSOC_DESCRIBE_REGION _IOR(0xF5, 4, struct vsoc_device_region) | 
|  | #define VSOC_SELF_INTERRUPT _IO(0xF5, 5) | 
|  | #define VSOC_SEND_INTERRUPT_TO_HOST _IO(0xF5, 6) | 
|  | enum wait_types { | 
|  | VSOC_WAIT_UNDEFINED = 0, | 
|  | VSOC_WAIT_IF_EQUAL = 1, | 
|  | VSOC_WAIT_IF_EQUAL_TIMEOUT = 2 | 
|  | }; | 
|  | struct vsoc_cond_wait { | 
|  | __u32 offset; | 
|  | __u32 value; | 
|  | __u64 wake_time_sec; | 
|  | __u32 wake_time_nsec; | 
|  | __u32 wait_type; | 
|  | __u32 wakes; | 
|  | __u32 reserved_1; | 
|  | }; | 
|  | #define VSOC_COND_WAIT _IOWR(0xF5, 7, struct vsoc_cond_wait) | 
|  | #define VSOC_COND_WAKE _IO(0xF5, 8) | 
|  | #endif |