How can software reboot nrf9160?

[CWallach]

I found a function, sys_reboot() that apparently reboots the nRF9160.   In order to use this function, what must be configured and what are the correct .h files?

Thanks