/* reserve after start_addr_sp the requested size and make the stack pointer 16-byte aligned, this alignment is needed for cast on the reserved memory ref = x86_64 ABI:  */
static unsigned long reserve_stack_aligned(size_t size)
/* reserve after start_addr_sp the requested size and make the stack pointer 16-byte aligned, this alignment is needed for cast on the reserved memory ref = x86_64 ABI:  */
static unsigned long reserve_stack_aligned(size_t size)
{
	return ALIGN_DOWN(gd->start_addr_sp - size, 16);
}