1 /* SPDX-License-Identifier: GPL-2.0 OR BSD-3-Clause */
3 * Copyright (c) 2014 Raspberry Pi (Trading) Ltd. All rights reserved.
4 * Copyright (c) 2010-2012 Broadcom. All rights reserved.
10 #include <linux/mutex.h>
11 #include <linux/platform_device.h>
12 #include <linux/semaphore.h>
13 #include <linux/atomic.h>
14 #include "vchiq_core.h"
15 #include "vchiq_debugfs.h"
17 /* Some per-instance constants */
18 #define MAX_COMPLETIONS 128
19 #define MAX_SERVICES 64
20 #define MAX_ELEMENTS 8
21 #define MSG_QUEUE_SIZE 128
29 struct vchiq_service *service;
30 void __user *userdata;
31 struct vchiq_instance *instance;
35 int message_available_pos;
38 struct completion insert_event;
39 struct completion remove_event;
40 struct completion close_event;
41 struct vchiq_header *msg_queue[MSG_QUEUE_SIZE];
44 struct bulk_waiter_node {
45 struct bulk_waiter bulk_waiter;
47 struct list_head list;
50 struct vchiq_instance {
51 struct vchiq_state *state;
52 struct vchiq_completion_data_kernel completions[MAX_COMPLETIONS];
53 int completion_insert;
54 int completion_remove;
55 struct completion insert_event;
56 struct completion remove_event;
57 struct mutex completion_mutex;
63 int use_close_delivered;
66 struct list_head bulk_waiter_list;
67 struct mutex bulk_waiter_list_mutex;
69 struct vchiq_debugfs_node debugfs_node;
72 extern spinlock_t msg_queue_spinlock;
73 extern struct vchiq_state g_state;
75 extern struct vchiq_state *
76 vchiq_get_state(void);
79 vchiq_use_service(struct vchiq_instance *instance, unsigned int handle);
82 vchiq_release_service(struct vchiq_instance *instance, unsigned int handle);
85 vchiq_check_service(struct vchiq_service *service);
88 vchiq_dump_platform_use_state(struct vchiq_state *state);
91 vchiq_dump_service_use_state(struct vchiq_state *state);
94 vchiq_use_internal(struct vchiq_state *state, struct vchiq_service *service,
95 enum USE_TYPE_E use_type);
97 vchiq_release_internal(struct vchiq_state *state,
98 struct vchiq_service *service);
100 extern struct vchiq_debugfs_node *
101 vchiq_instance_get_debugfs_node(struct vchiq_instance *instance);
104 vchiq_instance_get_use_count(struct vchiq_instance *instance);
107 vchiq_instance_get_pid(struct vchiq_instance *instance);
110 vchiq_instance_get_trace(struct vchiq_instance *instance);
113 vchiq_instance_set_trace(struct vchiq_instance *instance, int trace);
115 #if IS_ENABLED(CONFIG_VCHIQ_CDEV)
118 vchiq_deregister_chrdev(void);
121 vchiq_register_chrdev(struct device *parent);
125 static inline void vchiq_deregister_chrdev(void) { }
126 static inline int vchiq_register_chrdev(struct device *parent) { return 0; }
128 #endif /* IS_ENABLED(CONFIG_VCHIQ_CDEV) */
131 service_callback(struct vchiq_instance *vchiq_instance, enum vchiq_reason reason,
132 struct vchiq_header *header, unsigned int handle, void *bulk_userdata);
135 free_bulk_waiter(struct vchiq_instance *instance);
137 #endif /* VCHIQ_ARM_H */