#ifndef _SPARC64_REBOOT_H
#define _SPARC64_REBOOT_H

extern void machine_alt_power_off(void);

#endif /* _SPARC64_REBOOT_H */