src/sys/external/bsd/vchiq/dist/interface/vchiq_arm