crt/sel4_arch/x86_64/crtn.S - 3p/sel4proj/sel4runtime - Git at Google

 /*
  * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
  *
  * SPDX-License-Identifier: BSD-2-Clause
  */
 .section .init
 	leave
 	ret

 .section .fini
 	leave
 	ret
	/*
	* Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
	*
	* SPDX-License-Identifier: BSD-2-Clause
	*/
	.section .init
	leave
	ret

	.section .fini
	leave
	ret