gerrit-public.fairphone.software / kernel / msm-4.19 / c4159a75b64c0e67caededf4d7372c1b58a5f42a / drivers / misc / vmw_vmci / vmci_resource.h