<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Nov 6, 2012 at 11:18 PM, Evgeny Novikov <span dir="ltr"><<a href="mailto:eugenenovikov@yandex.ru" target="_blank">eugenenovikov@yandex.ru</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><u></u>

  
    
  
  <div bgcolor="#ffffff" text="#000000"><div class="im">
    On 11/06/2012 01:02 PM, Ma Lele wrote:<br><br><blockquote type="cite">
      <div style="line-height:1.7;font-size:14px;font-family:arial">
        <div style="line-height:1.7;font-size:14px;font-family:arial">
          Hello Evegeny Novikov,
          <div><br>
          </div>
          <div>I have just finished reading your paper <<One
            Approach to Aspect-Oriented Programming Implementation for
            the C programming language >>. Your works is so
            excellent and please accept my best wishes for you to get
            more and more development in this domain in the future :-) </div>
        </div>
      </div>
    </blockquote></div>
    Thank you for wishes, I will try to continue research :) <br><div class="im">
    <blockquote type="cite">
      <div style="line-height:1.7;font-size:14px;font-family:arial">
        <div style="line-height:1.7;font-size:14px;font-family:arial">
          <div>I have installed the ldv , which seems that it can verify
            some kernel driver successfully (like usb/storage dirver I
            have mentioned in the last e-mail).</div>
          <div><br>
          </div>
          <div>But I failed to find the four kinds of files you
            mentioned in this paper( *.c.p , *.<a href="http://c.p.mw" target="_blank">c.p.mw</a> , or *.<a href="http://c.p.mw.aw" target="_blank">c.p.mw.aw</a>).
            Are they all cleaned during the process ? If so, how can I
            get these files  when running the ldv ?</div>
          <div><br>
          </div>
        </div>
      </div>
    </blockquote></div>
    First of all, you need to verify drivers against models ending with
    "a" suffix (I have explained the difference between different models
    before), e.g. 32_7a.<br>
    <br>
    Also from the time when I have written that paper much time has
    gone. These files are named more properly now and they are kept
    automatically if you use LDV_DEBUG>=30. These names correspond to
    5 stages that you can find in my presentation. Assume that "diro" is
    output directory, "a" is aspect file, "c" is input C file, "o" is
    output file then you will obtain at these stages respectively: <br>
    1. "diro/a.i".
    <br>
    2. "diro/c.prepared".
    <br>
    3. "diro/c.macroinstrumented".
    <br>
    4. "diro/c.instrumented".
    <br>
    5. "diro/Ï.c".<br>
    <br>
    For instance, here is the content of directory
    work/current--X--drivers/cdrom--X--defaultlinux-2.6.39--X--32_7a/linux-2.6.39/csd_deg_dscv/10/dscv_tempdir/dscv/ri/32_7a/drivers/cdrom/
    at my computer:<br>
    0032.tmpl.aspect.i  cdrom.c  cdrom.c.instrumented 
    cdrom.c.macroinstrumented  cdrom.c.prepared  cdrom.ko  cdrom.o 
    cdrom.o.c<div class="im"><br>
    <blockquote type="cite">
      <div style="line-height:1.7;font-size:14px;font-family:arial">
        <div style="line-height:1.7;font-size:14px;font-family:arial">
          <div>Thank you for your time reading my message. <span style="line-height:1.7">Eager for your response.</span></div>
          <div><br>
          </div>
        </div>
      </div>
    </blockquote></div>
    Thank you for your user experience - it helps us very much.<div class="im">
    <blockquote type="cite">
      <div style="line-height:1.7;font-size:14px;font-family:arial">
        <div style="line-height:1.7;font-size:14px;font-family:arial">
          <div>--</div>
          <div>
            <div>
              <div>Best Regards,</div>
              <div>MA Lele</div></div></div></div></div></blockquote>
    </div><span class=""><font color="#888888"><pre cols="72">-- 
Best regards, Evgeny Novikov.</pre>
  </font></span></div>

</blockquote></div>Hi, Evgeny Novikov,<div><br></div><div>I still have a question about the file like cdrom.o.c which is fianlly genetated by the CIF.</div><div>I know it's used as an input source file to be verified for the blast. Now I want to compile it using GCC compiler in order to use some other tools to verify the code. But it always give me some error like </div>
<div>"../inst/current/envs/linux-2.6.36/linux-2.6.36/arch/x86/include/asm/thread_info.h:179: error: register name not specified for ‘current_stack_pointer’".</div><div><br></div><div>It may need some more gcc options to compile this kind of files. But I don't know where to find it out.</div>
<div>Can you help me with this?</div><div><div class="gmail_extra">Thank you in advance!</div></div><div class="gmail_extra"><br></div>-- <br><div>Best Regards,</div><div><div>MA Lele</div></div>
</div></div>