11     sys.stderr.write(os.path.basename(sys.argv[0]) + ": error: ")
17     return os.path.join(get_android_root(), "external/kernel-headers")
21     return os.path.join(get_kernel_headers_dir(), "original")
25     return os.path.join(get_kernel_headers_dir(), "modified")
29     return os.path.join(get_android_root(), "bionic/libc/kernel")
56 def create_file_path(path):  argument
59         parent = os.path.dirname(path)
64         path = parent
69         if os.path.isdir(dir):
81     def readFile(self,path):  argument
83         if os.path.exists(path):
84             self.old_files.add(path)
86     def readDir(self,path):  argument
88         for root, dirs, files in os.walk(path):
99         if os.path.exists(dst):
132         if not os.path.exists(os.path.dirname(dst)):