get_signal_stack() return a value of 16n
signal_stack_size = 0x10000 - 0x3800 is also 16n
so value of stack top is 16n
but on x86_64, value of sp at begin of signal handler must be 16n-8
The signal is sent by the kernel, with the stack pointer set according to the ABI. Please explain on what exact setup you are seeing the problem.