does the following work as is? Or should something in the code like "lpd" change?

BOOL ret_value;
DWORD dwResetType = 1;
#define IOCTL_HAL_REBOOT \
CTL_CODE(FILE_DEVICE_HAL,('l'+'p'+'d'+0),METHOD_BUFFERED,FILE_ANY_ACCESS)
ret_value = KernelIoControl(IOCTL_HAL_REBOOT
,&dwResetType
,sizeof( dwResetType )
,NULL
,0
,NULL);
if ( !ret_value )
{
printf("Hard reset failed! \r\n %i",GetLastError());
}