Annotate cheri_enter() with __attribute__((cheri_ccall)) so that we have
access to the passed-in c1 and c2 registers.  More correctly rename the
argument previously named 'c1' as 'c3'.