SDEI_STACK_SIZE
unsigned long high = low + SDEI_STACK_SIZE;
p = arch_alloc_vmap_stack(SDEI_STACK_SIZE, cpu_to_node(cpu));