DEFAULTSTKSZ
const unsigned long _defaultstksz = (unsigned long)DEFAULTSTKSZ;
#define MAX_STKSIZE (32 * DEFAULTSTKSZ)
#define MIN_STKSIZE DEFAULTSTKSZ
default_stksize = DEFAULTSTKSZ;
(int)DEFAULTSTKSZ);
default_stksize = DEFAULTSTKSZ;
if (thread_create(NULL, DEFAULTSTKSZ,
(void) thread_create(NULL, DEFAULTSTKSZ * 2,
(void) thread_create(NULL, DEFAULTSTKSZ * 2,
(void) thread_create(NULL, DEFAULTSTKSZ * 2,
#define INTR_STACK_SIZE MAX(DEFAULTSTKSZ, PAGESIZE)
char ct_stack1[DEFAULTSTKSZ]; /* dblfault */
char ct_stack2[DEFAULTSTKSZ]; /* nmi */
char ct_stack3[DEFAULTSTKSZ]; /* mce */
len = DEFAULTSTKSZ; len >= MMU_PAGESIZE;
extern char dblfault_stack0[DEFAULTSTKSZ];
extern char nmi_stack0[DEFAULTSTKSZ];
extern char mce_stack0[DEFAULTSTKSZ];
oplmsu_bthrd_id = thread_create(NULL, 2 * DEFAULTSTKSZ,
#define T0STKSZ (2 * DEFAULTSTKSZ)
ps_suspend_thread = thread_create(NULL, 2 * DEFAULTSTKSZ,
2 * DEFAULTSTKSZ, vgen_ldc_msg_worker, ldcp, 0,
ldcp->rcv_thread = thread_create(NULL, 2 * DEFAULTSTKSZ,
ldcp->msg_thread = thread_create(NULL, 2 * DEFAULTSTKSZ,
ldcp->tx_thread = thread_create(NULL, 2 * DEFAULTSTKSZ,
vswp->sw_thread = thread_create(NULL, 2 * DEFAULTSTKSZ,
#define T0STKSZ (2 * DEFAULTSTKSZ)