X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=gears%2Fservices%2Fdevfile%2Fdevfile_preload.c;h=c7d80efd2b9023629f54960c56c935679095ed4f;hb=3c8719220338a2d91af469c6e6df9075b46b7d3e;hp=fea7a6ef0c14e51ccf48b92d2107371499a2d52e;hpb=de0aa03dbd9812a48cab6d899ab41b7f2cc593b5;p=palacios.git

diff --git a/gears/services/devfile/devfile_preload.c b/gears/services/devfile/devfile_preload.c
index fea7a6e..c7d80ef 100644
--- a/gears/services/devfile/devfile_preload.c
+++ b/gears/services/devfile/devfile_preload.c
@@ -29,6 +29,7 @@ int touch_ptr(volatile char* ptr, int size)
 {
     int i;
     for(i=0;i<size;i+=4096){
+	// both read and write it
         ptr[i] = ptr[i];
     }
     return 0;