x64において、関数呼び出し時にスタックを16バイト境界に整列させる必要がある理由はどれか。

バッファオーバーフローの解析において、関数の戻りアドレスを上書きするために操作するスタック上の領域はどれか。