void gteRTPS_neon(void *cp2_regs);
void gteRTPT_neon(void *cp2_regs);
void gteNCLIP_neon(void *cp2_regs);