original_kernel/arch/powerpc/platforms/pseries/rtas-fw.h

void rtas_fw_restart(char *cmd);
void rtas_fw_power_off(void);
void rtas_fw_halt(void);