Home
last modified time | relevance | path

Searched refs:is_vchi (Results 1 – 4 of 4) sorted by relevance

/linux/drivers/platform/raspberrypi/vchiq-interface/
H A Dvchiq_dev.c181 user_service->is_vchi = (args->is_vchi != 0); in vchiq_ioc_create_service()
219 if (user_service->is_vchi == 0) { in vchiq_ioc_dequeue_message()
904 int is_vchi; member
932 .is_vchi = args32.is_vchi, in vchiq_compat_ioctl_create_service()
H A Dvchiq_ioctl.h27 int is_vchi; member
H A Dvchiq_arm.c797 if (header && user_service->is_vchi) { in service_callback()
913 if ((service->base.callback == service_callback) && user_service->is_vchi) { in vchiq_dump_platform_service_state()
/linux/include/linux/raspberrypi/
H A Dvchiq_arm.h63 char is_vchi; member