LJ_K32_2P31       585 lj_asm_mips.h  		     (void *)&as->J->k32[LJ_K32_2P31], RSET_GPR);
LJ_K32_2P31       493 lj_asm_ppc.h   		   (void *)&as->J->k32[LJ_K32_2P31], RSET_GPR);
LJ_K32_2P31       336 lj_trace.c       J->k32[LJ_K32_2P31] = 0x4f000000;