Searched refs:dblfault_stack (Results 1 – 2 of 2) sorted by relevance
352 static char *dblfault_stack; variable1662 dblfault_stack = pmap_trm_alloc(PAGE_SIZE, M_NOWAIT); in machdep_init_trampoline()1665 (int)dblfault_stack + PAGE_SIZE; in machdep_init_trampoline()
344 static char dblfault_stack[DBLFAULT_STACK_SIZE] __aligned(16); variable1228 np = ((struct nmi_pcpu *)&dblfault_stack[sizeof(dblfault_stack)]) - 1; in amd64_bsp_ist_init()