Searched refs:sbdp_valp (Results 1 – 3 of 3) sorted by relevance
88 uint64_t *sbdp_valp; variable382 *sbdp_valp = 0ull; in sbdp_cpu_poweroff()454 *sbdp_valp = 3ull; in sbdp_cpu_poweroff()794 uint64_t pa = va_to_pa((void *)sbdp_valp); in sbdp_cpu_shutdown_self()
147 sbdp_valp = (uint64_t *)vmem_alloc(static_alloc_arena, in _init()168 vmem_free(static_alloc_arena, (void *)sbdp_valp, sizeof (uint64_t)); in _fini()169 sbdp_valp = NULL; in _fini()
225 extern uint64_t *sbdp_valp;