TF_SIZE
ASSYM(TF_SIZE, sizeof(struct trapframe));
ASSYM(TF_SIZE, TF_SIZE);
td_kstack_top(td) - sizeof(struct kernframe)) - TF_SIZE);