get_slave_stack(void)
get_slave_stack()
get_slave_stack(void){	vm_offset_t addr = 0;	addr = (vm_offset_t)uvm_km_zalloc(kernel_map, INTSTACK_SIZE + 4096);	if (addr == NULL)		panic("Cannot allocate slave stack");	if (interrupt_stack[0] == 0)		interrupt_stack[0] = (vm_offset_t) intstack;	interrupt_stack[cpu_number()] = addr;	return addr;}