If you have entered command reboot and machine is not rebooting even after extended time

You can use below command to restart the server immediately which is equivalent to pressing a restart button physically.

#  echo 1 > /proc/sys/kernel/sysrq

#echo b > /proc/sysrq-trigger