Source position: cpumminnr.inc line 420
const fpc_in_x86_extractps_from_mem = fpc_in_x86_mm_first + 419;