/*
 * jump hexaddr -- transfer control with BX
 */

#include <sys/types.h>
#include "types.h"

void
cmd_jump(argbulk)
	char *argbulk;
{
	char *argv[2];
	u_long addr;

	if (parse_args(argbulk, 1, 1, argv, 0) < 0)
		return;
	if (parse_hexarg(argv[0], 8, &addr) < 0) {
		printf("ERROR: argument must be a valid 32-bit hex address\n");
		return;
	}
	serial_flush();
	asm volatile ("bx %0" : : "r" (addr));
	__builtin_unreachable();
}