Variables starting with `x' in osfmk/i386

• x00 osfmk/i386/db_disasm.c:1688
• x0FFF osfmk/i386/ktss.c:95
• x13 osfmk/i386/db_disasm.c:1650