This switches to passing the vmctx hidden argument at the beginning of the argument list, rather than the end.