11b773b6eSMarkus Pfeiffer /*
2ee538fedSMarkus Pfeiffer * Copyright (c) 2003 Marcel Moolenaar
31b773b6eSMarkus Pfeiffer * All rights reserved.
4ee538fedSMarkus Pfeiffer * Copyright (c) 2012 Markus Pfeiffer <markus.pfeiffer@morphism.de>
51b773b6eSMarkus Pfeiffer * All rights reserved.
61b773b6eSMarkus Pfeiffer *
71b773b6eSMarkus Pfeiffer * 1. Redistributions of source code must retain the above copyright
81b773b6eSMarkus Pfeiffer * notice, this list of conditions and the following disclaimer.
9ee538fedSMarkus Pfeiffer * 2. Redistributions in binary form must reproduce the above copyright
10ee538fedSMarkus Pfeiffer * notice, this list of conditions and the following disclaimer in
11ee538fedSMarkus Pfeiffer * the documentation and/or other materials provided with the
12ee538fedSMarkus Pfeiffer * distribution.
131b773b6eSMarkus Pfeiffer *
141b773b6eSMarkus Pfeiffer * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
151b773b6eSMarkus Pfeiffer * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
161b773b6eSMarkus Pfeiffer * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
171b773b6eSMarkus Pfeiffer * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
181b773b6eSMarkus Pfeiffer * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
191b773b6eSMarkus Pfeiffer * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
201b773b6eSMarkus Pfeiffer * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
211b773b6eSMarkus Pfeiffer * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
221b773b6eSMarkus Pfeiffer * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
231b773b6eSMarkus Pfeiffer * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
241b773b6eSMarkus Pfeiffer * SUCH DAMAGE.
251b773b6eSMarkus Pfeiffer *
261b773b6eSMarkus Pfeiffer */
271b773b6eSMarkus Pfeiffer
281b773b6eSMarkus Pfeiffer #include <sys/cdefs.h>
291b773b6eSMarkus Pfeiffer #include <sys/param.h>
301b773b6eSMarkus Pfeiffer #include <sys/signal.h>
311b773b6eSMarkus Pfeiffer #include <sys/ucontext.h>
321b773b6eSMarkus Pfeiffer
3363261abbSMatthew Dillon #include <machine/frame.h>
3463261abbSMatthew Dillon #include <machine/tss.h>
3563261abbSMatthew Dillon #include <machine/segments.h>
3663261abbSMatthew Dillon
3763261abbSMatthew Dillon #include <signal.h>
381b773b6eSMarkus Pfeiffer #include <errno.h>
3963261abbSMatthew Dillon #include <string.h>
401b773b6eSMarkus Pfeiffer #include <stdarg.h>
411b773b6eSMarkus Pfeiffer #include <stdlib.h>
421b773b6eSMarkus Pfeiffer #include <unistd.h>
431b773b6eSMarkus Pfeiffer
44a32e3ba6SSascha Wildner void _makecontext(ucontext_t *, void (*)(void), int, ...);
45a32e3ba6SSascha Wildner
461b773b6eSMarkus Pfeiffer typedef void (*func_t)(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t);
471b773b6eSMarkus Pfeiffer
481b773b6eSMarkus Pfeiffer /* Prototypes */
491b773b6eSMarkus Pfeiffer static void makectx_wrapper(ucontext_t *ucp, func_t func, uint64_t *args);
501b773b6eSMarkus Pfeiffer
511b773b6eSMarkus Pfeiffer /*
521b773b6eSMarkus Pfeiffer * makecontext() associates a stack with a user thread context and sets
531b773b6eSMarkus Pfeiffer * up to call the start function when switched to. The start function
541b773b6eSMarkus Pfeiffer * returns to _ctx_start which then calls _ctx_done to terminate the
551b773b6eSMarkus Pfeiffer * context.
561b773b6eSMarkus Pfeiffer */
571b773b6eSMarkus Pfeiffer void
_makecontext(ucontext_t * ucp,void (* start)(void),int argc,...)581b773b6eSMarkus Pfeiffer _makecontext(ucontext_t *ucp, void (*start)(void), int argc, ...)
591b773b6eSMarkus Pfeiffer {
601b773b6eSMarkus Pfeiffer va_list ap;
611b773b6eSMarkus Pfeiffer uint64_t *stack_top;
621b773b6eSMarkus Pfeiffer uint64_t *argp;
631b773b6eSMarkus Pfeiffer int i;
641b773b6eSMarkus Pfeiffer
651b773b6eSMarkus Pfeiffer if (ucp == NULL)
661b773b6eSMarkus Pfeiffer return;
671b773b6eSMarkus Pfeiffer
681b773b6eSMarkus Pfeiffer /*
691b773b6eSMarkus Pfeiffer * Invalidate a context which did not have a stack associated with
701b773b6eSMarkus Pfeiffer * it or for which the stack was too small. The stack check is
711b773b6eSMarkus Pfeiffer * kinda silly, though, since we have no control over the stack
721b773b6eSMarkus Pfeiffer * usage of the code being set up to run.
731b773b6eSMarkus Pfeiffer */
741b773b6eSMarkus Pfeiffer if ((ucp->uc_stack.ss_sp == NULL) ||
751b773b6eSMarkus Pfeiffer (ucp->uc_stack.ss_size < MINSIGSTKSZ)) {
761b773b6eSMarkus Pfeiffer ucp->uc_mcontext.mc_len = 0;
771b773b6eSMarkus Pfeiffer }
781b773b6eSMarkus Pfeiffer if (argc < 0 || argc > NCARGS)
791b773b6eSMarkus Pfeiffer ucp->uc_mcontext.mc_len = 0;
801b773b6eSMarkus Pfeiffer
811b773b6eSMarkus Pfeiffer if (ucp->uc_mcontext.mc_len == sizeof(mcontext_t)) {
821b773b6eSMarkus Pfeiffer /*
831b773b6eSMarkus Pfeiffer */
84*588042b5SSascha Wildner stack_top = (uint64_t *)((char *)ucp->uc_stack.ss_sp +
851b773b6eSMarkus Pfeiffer ucp->uc_stack.ss_size);
861b773b6eSMarkus Pfeiffer stack_top = (uint64_t *)((uint64_t)(stack_top) & ~15UL);
871b773b6eSMarkus Pfeiffer
881b773b6eSMarkus Pfeiffer argp = stack_top - 6;
891b773b6eSMarkus Pfeiffer stack_top -= 7;
901b773b6eSMarkus Pfeiffer
911b773b6eSMarkus Pfeiffer /* Add all the arguments: */
921b773b6eSMarkus Pfeiffer va_start(ap, argc);
931b773b6eSMarkus Pfeiffer for (i = 0; i < argc; i++) {
941b773b6eSMarkus Pfeiffer argp[i] = va_arg(ap, uint64_t);
951b773b6eSMarkus Pfeiffer }
961b773b6eSMarkus Pfeiffer va_end(ap);
97ee538fedSMarkus Pfeiffer /* The first six arguments are passed via registers. */
981b773b6eSMarkus Pfeiffer for (i = argc; i < 6; i++) {
991b773b6eSMarkus Pfeiffer argp[i] = 0;
1001b773b6eSMarkus Pfeiffer }
1011b773b6eSMarkus Pfeiffer
1021b773b6eSMarkus Pfeiffer /*
1031b773b6eSMarkus Pfeiffer * Set the machine context to point to the top of the
1041b773b6eSMarkus Pfeiffer * stack and the program counter to the context start
1051b773b6eSMarkus Pfeiffer * wrapper. Note that setcontext() pushes the return
1061b773b6eSMarkus Pfeiffer * address onto the top of the stack, so allow for this
1071b773b6eSMarkus Pfeiffer * by adjusting the stack downward 1 slot. Also set
1081b773b6eSMarkus Pfeiffer * %rbp to point to the base of the stack where ucp
1091b773b6eSMarkus Pfeiffer * is stored.
1101b773b6eSMarkus Pfeiffer */
1111b773b6eSMarkus Pfeiffer ucp->uc_mcontext.mc_rdi = (register_t)ucp;
1121b773b6eSMarkus Pfeiffer ucp->uc_mcontext.mc_rsi = (register_t)start;
1131b773b6eSMarkus Pfeiffer ucp->uc_mcontext.mc_rdx = (register_t)argp;
1141b773b6eSMarkus Pfeiffer ucp->uc_mcontext.mc_rbp = 0;
1151b773b6eSMarkus Pfeiffer ucp->uc_mcontext.mc_rbx = (register_t)stack_top;
1161b773b6eSMarkus Pfeiffer ucp->uc_mcontext.mc_rsp = (register_t)stack_top;
1171b773b6eSMarkus Pfeiffer ucp->uc_mcontext.mc_rip = (register_t)makectx_wrapper;
11863261abbSMatthew Dillon ucp->uc_mcontext.mc_ownedfp = _MC_FPOWNED_NONE;
11963261abbSMatthew Dillon ucp->uc_mcontext.mc_fpformat = _MC_FPFMT_NODEV;
12063261abbSMatthew Dillon ucp->uc_mcontext.mc_cs = GSEL(GUCODE_SEL, SEL_UPL);
12163261abbSMatthew Dillon ucp->uc_mcontext.mc_ss = GSEL(GUDATA_SEL, SEL_UPL);
12263261abbSMatthew Dillon ucp->uc_mcontext.mc_onstack = 0;
12363261abbSMatthew Dillon ucp->uc_mcontext.mc_err = 0;
1241b773b6eSMarkus Pfeiffer }
1251b773b6eSMarkus Pfeiffer }
1261b773b6eSMarkus Pfeiffer
127f8406b33Szrj __weak_reference(_makecontext, makecontext);
128f8406b33Szrj
1291b773b6eSMarkus Pfeiffer /* */
1301b773b6eSMarkus Pfeiffer static void
makectx_wrapper(ucontext_t * ucp,func_t func,uint64_t * args)1311b773b6eSMarkus Pfeiffer makectx_wrapper(ucontext_t *ucp, func_t func, uint64_t *args)
1321b773b6eSMarkus Pfeiffer {
1331b773b6eSMarkus Pfeiffer (*func)(args[0], args[1], args[2], args[3], args[4], args[5]);
1341b773b6eSMarkus Pfeiffer if (ucp->uc_link == NULL)
1351b773b6eSMarkus Pfeiffer exit(0);
1361b773b6eSMarkus Pfeiffer
1371b773b6eSMarkus Pfeiffer setcontext((const ucontext_t *)ucp->uc_link);
1381b773b6eSMarkus Pfeiffer
1391b773b6eSMarkus Pfeiffer /* should never reach this */
1401b773b6eSMarkus Pfeiffer abort();
1411b773b6eSMarkus Pfeiffer }
142