Jazelle-related code.