sbdp_cpu_shutdown_self
static void sbdp_cpu_shutdown_self(void);
(uint64_t)sbdp_cpu_shutdown_self, 0);