fhc_cpu_shutdown_self
(uint64_t)fhc_cpu_shutdown_self, (uint64_t)NULL);
static void fhc_cpu_shutdown_self(void);