drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c

1065

VCHIQ_MSG_SRCPORT(msgid), VCHIQ_MSG_DSTPORT(msgid));

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c

1122

VCHIQ_MSG_SRCPORT(msgid), VCHIQ_MSG_DSTPORT(msgid));

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c

1149

VCHIQ_MSG_SRCPORT(msgid), VCHIQ_MSG_DSTPORT(msgid), size);

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c

1209

VCHIQ_MSG_SRCPORT(msgid), VCHIQ_MSG_DSTPORT(msgid));

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c

1241

VCHIQ_MSG_DSTPORT(msgid), size);

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c

1845

localport = VCHIQ_MSG_DSTPORT(msgid);

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c

1949

localport = VCHIQ_MSG_DSTPORT(msgid);

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c

2013

WARN_ON(VCHIQ_MSG_DSTPORT(msgid));

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c

2396

localport = VCHIQ_MSG_DSTPORT(msgid);

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c

2896

if (VCHIQ_MSG_DSTPORT(header->msgid) == service->localport)

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c

2926

int port = VCHIQ_MSG_DSTPORT(msgid);

drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c

3163

VCHIQ_MSG_DSTPORT(service->remoteport));