xref: /freebsd/lib/libc/amd64/gen/makecontext.c (revision 559a218c9b257775fb249b67945fe4a05b7a6b9f)
1d915a14eSPedro F. Giffuni /*-
2*4d846d26SWarner Losh  * SPDX-License-Identifier: BSD-2-Clause
3d915a14eSPedro F. Giffuni  *
44adc354cSDaniel Eischen  * Copyright (c) 2003 Marcel Moolenaar
54adc354cSDaniel Eischen  * All rights reserved.
64adc354cSDaniel Eischen  *
74adc354cSDaniel Eischen  * Redistribution and use in source and binary forms, with or without
84adc354cSDaniel Eischen  * modification, are permitted provided that the following conditions
94adc354cSDaniel Eischen  * are met:
104adc354cSDaniel Eischen  *
114adc354cSDaniel Eischen  * 1. Redistributions of source code must retain the above copyright
124adc354cSDaniel Eischen  *    notice, this list of conditions and the following disclaimer.
134adc354cSDaniel Eischen  * 2. Redistributions in binary form must reproduce the above copyright
144adc354cSDaniel Eischen  *    notice, this list of conditions and the following disclaimer in the
154adc354cSDaniel Eischen  *    documentation and/or other materials provided with the distribution.
164adc354cSDaniel Eischen  *
174adc354cSDaniel Eischen  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
184adc354cSDaniel Eischen  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
194adc354cSDaniel Eischen  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
204adc354cSDaniel Eischen  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
214adc354cSDaniel Eischen  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
224adc354cSDaniel Eischen  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
234adc354cSDaniel Eischen  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
244adc354cSDaniel Eischen  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
254adc354cSDaniel Eischen  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
264adc354cSDaniel Eischen  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
274adc354cSDaniel Eischen  */
284adc354cSDaniel Eischen 
294adc354cSDaniel Eischen #include <sys/types.h>
304adc354cSDaniel Eischen #include <sys/ucontext.h>
314adc354cSDaniel Eischen #include <stdarg.h>
324adc354cSDaniel Eischen #include <stdlib.h>
334adc354cSDaniel Eischen 
344adc354cSDaniel Eischen typedef void (*func_t)(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t,
354adc354cSDaniel Eischen     uint64_t);
364adc354cSDaniel Eischen 
374adc354cSDaniel Eischen /* Prototypes */
3837260333SPeter Wemm static void makectx_wrapper(ucontext_t *ucp, func_t func, uint64_t *args);
394adc354cSDaniel Eischen 
404adc354cSDaniel Eischen __weak_reference(__makecontext, makecontext);
414adc354cSDaniel Eischen 
424adc354cSDaniel Eischen void
__makecontext(ucontext_t * ucp,void (* start)(void),int argc,...)434adc354cSDaniel Eischen __makecontext(ucontext_t *ucp, void (*start)(void), int argc, ...)
444adc354cSDaniel Eischen {
454adc354cSDaniel Eischen 	uint64_t *args;
464adc354cSDaniel Eischen 	uint64_t *sp;
474adc354cSDaniel Eischen 	va_list ap;
484adc354cSDaniel Eischen 	int i;
494adc354cSDaniel Eischen 
504adc354cSDaniel Eischen 	/* A valid context is required. */
514adc354cSDaniel Eischen 	if ((ucp == NULL) || (ucp->uc_mcontext.mc_len != sizeof(mcontext_t)))
524adc354cSDaniel Eischen 		return;
534adc354cSDaniel Eischen 	else if ((argc < 0) || (argc > 6) || (ucp->uc_stack.ss_sp == NULL) ||
544adc354cSDaniel Eischen 	    (ucp->uc_stack.ss_size < MINSIGSTKSZ)) {
554adc354cSDaniel Eischen 		/*
564adc354cSDaniel Eischen 		 * This should really return -1 with errno set to ENOMEM
574adc354cSDaniel Eischen 		 * or something, but the spec says that makecontext is
584adc354cSDaniel Eischen 		 * a void function.   At least make sure that the context
594adc354cSDaniel Eischen 		 * isn't valid so it can't be used without an error.
604adc354cSDaniel Eischen 		 */
614adc354cSDaniel Eischen 		ucp->uc_mcontext.mc_len = 0;
624adc354cSDaniel Eischen 		return;
634adc354cSDaniel Eischen 	}
644adc354cSDaniel Eischen 
654adc354cSDaniel Eischen 	/* Align the stack to 16 bytes. */
664adc354cSDaniel Eischen 	sp = (uint64_t *)(ucp->uc_stack.ss_sp + ucp->uc_stack.ss_size);
67d3c6a920SDavid Xu 	sp = (uint64_t *)((uint64_t)sp & ~15UL);
684adc354cSDaniel Eischen 
694adc354cSDaniel Eischen 	/* Allocate space for a maximum of 6 arguments on the stack. */
704adc354cSDaniel Eischen 	args = sp - 6;
714adc354cSDaniel Eischen 
7204cb6b3aSPeter Wemm 	/*
7304cb6b3aSPeter Wemm 	 * Account for arguments on stack and do the funky C entry alignment.
7404cb6b3aSPeter Wemm 	 * This means that we need an 8-byte-odd alignment since the ABI expects
7504cb6b3aSPeter Wemm 	 * the return address to be pushed, thus breaking the 16 byte alignment.
7604cb6b3aSPeter Wemm 	 */
7704cb6b3aSPeter Wemm 	sp -= 7;
784adc354cSDaniel Eischen 
794adc354cSDaniel Eischen 	/* Add the arguments: */
804adc354cSDaniel Eischen 	va_start(ap, argc);
814adc354cSDaniel Eischen 	for (i = 0; i < argc; i++)
824adc354cSDaniel Eischen 		args[i] = va_arg(ap, uint64_t);
834adc354cSDaniel Eischen 	va_end(ap);
844adc354cSDaniel Eischen 	for (i = argc; i < 6; i++)
854adc354cSDaniel Eischen 		args[i] = 0;
864adc354cSDaniel Eischen 
874adc354cSDaniel Eischen 	ucp->uc_mcontext.mc_rdi = (register_t)ucp;
884adc354cSDaniel Eischen 	ucp->uc_mcontext.mc_rsi = (register_t)start;
894adc354cSDaniel Eischen 	ucp->uc_mcontext.mc_rdx = (register_t)args;
90d3c6a920SDavid Xu 	ucp->uc_mcontext.mc_rbp = 0;
914adc354cSDaniel Eischen 	ucp->uc_mcontext.mc_rbx = (register_t)sp;
924adc354cSDaniel Eischen 	ucp->uc_mcontext.mc_rsp = (register_t)sp;
9337260333SPeter Wemm 	ucp->uc_mcontext.mc_rip = (register_t)makectx_wrapper;
944adc354cSDaniel Eischen }
954adc354cSDaniel Eischen 
964adc354cSDaniel Eischen static void
makectx_wrapper(ucontext_t * ucp,func_t func,uint64_t * args)9737260333SPeter Wemm makectx_wrapper(ucontext_t *ucp, func_t func, uint64_t *args)
984adc354cSDaniel Eischen {
994adc354cSDaniel Eischen 	(*func)(args[0], args[1], args[2], args[3], args[4], args[5]);
1004adc354cSDaniel Eischen 	if (ucp->uc_link == NULL)
1014adc354cSDaniel Eischen 		exit(0);
1024adc354cSDaniel Eischen 	setcontext((const ucontext_t *)ucp->uc_link);
1034adc354cSDaniel Eischen 	/* should never get here */
1044adc354cSDaniel Eischen 	abort();
1054adc354cSDaniel Eischen 	/* NOTREACHED */
1064adc354cSDaniel Eischen }
107