templates/seL4RPCDataport-to.template.h - 3p/sel4proj/global-components - Git at Google

 /*#
  *#Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
  *#
  *#SPDX-License-Identifier: BSD-2-Clause
   #*/

 /*- if me.parent.type.to_threads == 0 -*/
     /*- include 'seL4RPCNoThreads-to.template.h' -*/
 /*- endif -*/
	/*#
	*#Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
	*#
	*#SPDX-License-Identifier: BSD-2-Clause
	#*/

	/- if me.parent.type.to_threads == 0 -/
	/- include 'seL4RPCNoThreads-to.template.h' -/
	/- endif -/