TOP_OF_KERNEL_STACK_PADDING
# define TOP_OF_KERNEL_STACK_PADDING 16
# define TOP_OF_KERNEL_STACK_PADDING 8
# define TOP_OF_KERNEL_STACK_PADDING (2 * 8)
# define TOP_OF_KERNEL_STACK_PADDING 0