interfaces/Batch.idl4 - 3p/sel4proj/global-components - Git at Google

 /*
  * Copyright 2020, Data61, ABN 41 687 119 230.
  *
  * SPDX-License-Identifier: BSD-2-Clause
  */

  procedure Batch {
     void batch(void);
 };
	/*
	* Copyright 2020, Data61, ABN 41 687 119 230.
	*
	* SPDX-License-Identifier: BSD-2-Clause
	*/

	procedure Batch {
	void batch(void);
	};