[coreboot-gerrit] Change in coreboot[master]: arch/x86/exception: Add support for printing stack to x86_64

[Aaron Durbin (Code Review)]

Aaron Durbin has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/43356 )

Change subject: arch/x86/exception: Add support for printing stack to x86_64
......................................................................

Patch Set 1:

(1 comment)

https://review.coreboot.org/c/coreboot/+/43356/1/src/arch/x86/exception.c 
File src/arch/x86/exception.c:

https://review.coreboot.org/c/coreboot/+/43356/1/src/arch/x86/exception.c@55... 
PS1, Line 550: 	u64 *ptr = (u64 *)(ALIGN_DOWN(info->rsp, sizeof(u64)) + MDUMP_SIZE - sizeof(u64));
Can we use uintptr_t unconditionally? And perhaps we could rename the register fields to use the 64-bit names?