Searched refs:sbdp_valp (Results 1 – 3 of 3) sorted by relevance
87 uint64_t *sbdp_valp; variable381 *sbdp_valp = 0ull; in sbdp_cpu_poweroff()453 *sbdp_valp = 3ull; in sbdp_cpu_poweroff()793 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;