| type vsock_frames_port_prop, property_type; | |
| allow hal_graphics_composer_server hal_graphics_allocator_default_tmpfs:file read; | |
| allow hal_graphics_composer_server self:{ socket vsock_socket } create_socket_perms_no_ioctl; | |
| gpu_access(hal_graphics_composer_server) | |
| get_prop(hal_graphics_composer_server, vsock_frames_port_prop) | |
| get_prop(hal_graphics_composer_server, cuttlefish_config_server_port_prop) |