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