TOP_OF_KERNEL_STACK_PADDING
TOP_OF_KERNEL_STACK_PADDING)
__ptr += THREAD_SIZE - TOP_OF_KERNEL_STACK_PADDING; \