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)