So far this has only been used in process_64.c, but the x32 code will
need it in additional code.
Signed-off-by: NH. Peter Anvin <hpa@zytor.com>