Add support for switching CPUs in ddb on arm64. Based on a diff from drahn@.
authorkettenis <kettenis@openbsd.org>
Tue, 30 Jan 2018 15:46:12 +0000 (15:46 +0000)
committerkettenis <kettenis@openbsd.org>
Tue, 30 Jan 2018 15:46:12 +0000 (15:46 +0000)
commit755135db10255fd8d372551c9dde613314481dc8
treeab4de5bda48dc8023041ce1a41648b6753a28686
parentc7fb53c581f7e47db8c2e4656ff99134ede7edb8
Add support for switching CPUs in ddb on arm64.  Based on a diff from drahn@.

ok patrick@
sys/arch/arm64/arm64/db_interface.c
sys/arch/arm64/include/cpu.h
sys/arch/arm64/include/db_machdep.h