armv7m_restart     95 arch/arm/include/asm/v7m.h void armv7m_restart(enum reboot_mode mode, const char *cmd);
armv7m_restart     15 arch/arm/mach-efm32/dtmachine.c 	.restart = armv7m_restart,
armv7m_restart     17 arch/arm/mach-imx/mach-imx7d-cm4.c 	.restart = armv7m_restart,
armv7m_restart     27 arch/arm/mach-stm32/board-dt.c 	.restart = armv7m_restart,