Hisilicon power-off driver

modulename: hisi-reboot.ko

configname: CONFIG_POWER_RESET_HISI

Linux Kernel Configuration
└─>Device Drivers
└─>Board level reset or power off
└─>Hisilicon power-off driver
In linux kernel since version 3.17 (release Date: 2014-10-05)  
Reboot support for Hisilicon boards.

source code: