kerneltest/e32test/demandpaging/t_svrpinning.cpp
changeset 10 36bfc973b146
parent 9 96e5fb8b040d
child 42 a179b74831c9
equal deleted inserted replaced
9:96e5fb8b040d 10:36bfc973b146
    30 #include <e32std.h>
    30 #include <e32std.h>
    31 #include <e32std_private.h>
    31 #include <e32std_private.h>
    32 #include <e32def.h>
    32 #include <e32def.h>
    33 #include <e32def_private.h>
    33 #include <e32def_private.h>
    34 #include <e32test.h>
    34 #include <e32test.h>
       
    35 #include <e32ver.h>
    35 #include <e32panic.h>
    36 #include <e32panic.h>
    36 #include <dptest.h>
    37 #include <dptest.h>
    37 #include <u32hal.h>
    38 #include <u32hal.h>
    38 #include <hal.h>
    39 #include <hal.h>
    39 
    40