dist_host.c (893B)
1 #include "dist_host.h" 2 3 static int dh_mkdir_p(void* user, const char* path) { 4 return driver_mkdir_p((DriverEnv*)user, path); 5 } 6 7 static int dh_mark_executable(void* user, const char* path) { 8 (void)user; 9 return driver_mark_executable_output(path); 10 } 11 12 static int dh_walk(void* user, const char* root, KitCasWalkFn cb, 13 void* cb_user) { 14 /* KitCasWalkFn and DriverWalkFileFn have identical signatures. */ 15 return driver_walk_regular_files((DriverEnv*)user, root, (DriverWalkFileFn)cb, 16 cb_user); 17 } 18 19 KitCasHost driver_cas_host(DriverEnv* env) { 20 KitCasHost h; 21 h.file_io = &env->file_io; 22 h.mkdir_p = dh_mkdir_p; 23 h.mark_executable = dh_mark_executable; 24 h.walk_regular_files = dh_walk; 25 h.user = env; 26 return h; 27 } 28 29 int driver_dist_random(void* user, uint8_t* out, size_t n) { 30 (void)user; 31 return driver_random_bytes(out, n); 32 }