/seL4-camkes-master/projects/musllibc/src/crypt/ |
H A D | crypt_r.c | 18 char *output = (char *)data; local 21 return __crypt_md5(key, salt, output); 23 return __crypt_blowfish(key, salt, output); 25 return __crypt_sha256(key, salt, output); 27 return __crypt_sha512(key, salt, output); 29 return __crypt_des(key, salt, output);
|
/seL4-camkes-master/projects/camkes/apps/exchangestring/components/Client/src/ |
H A D | client.c | 18 char *output = NULL; local 23 ret = a_exchange(input, &output, &joint); 25 printf("Client output: %s\n", output); 29 free(output);
|
/seL4-camkes-master/projects/camkes/apps/exchangestring/components/Server/src/ |
H A D | main.c | 14 char *a_exchange(const char *input, char **output, char **joint) argument 17 *output = malloc(30); 18 strncpy(*output, reply, 30); 19 (*output)[29] = '\0';
|
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/MockLinux/ |
H A D | mocklinux.c | 23 ringbuffer_t *output = rb_new((void*)framebuffer, sizeof(*framebuffer)); local 24 if (output == NULL) { 33 rb_transmit_byte(output, (unsigned char)c);
|
/seL4-camkes-master/projects/camkes/apps/dhcp/src/ |
H A D | util.c | 34 void mac_to_string(uint64_t input, char *output) { argument 35 sprintf(output, "%02x:%02x:%02x:%02x:%02x:%02x", 43 void ip_to_string(uint32_t input, char *output) { argument 44 sprintf(output, "%u.%u.%u.%u", input >> 24, (input >> 16) & 0xff,
|
H A D | util.h | 16 /* The number of bytes required for the 'output' argument in mac_to_string. */ 20 * form in the output. 22 void mac_to_string(uint64_t input, char *output); 24 /* The number of bytes required for the 'output' argument in ip_to_string. */ 28 * form in the output. 30 void ip_to_string(uint32_t input, char *output);
|
/seL4-camkes-master/projects/lwip/src/include/netif/ppp/polarssl/ |
H A D | md4.h | 77 * \param output MD4 checksum result 79 void md4_finish( md4_context *ctx, unsigned char output[16] ); 86 * \param output MD4 checksum result 88 void md4( unsigned char *input, int ilen, unsigned char output[16] );
|
H A D | md5.h | 77 * \param output MD5 checksum result 79 void md5_finish( md5_context *ctx, unsigned char output[16] ); 86 * \param output MD5 checksum result 88 void md5( unsigned char *input, int ilen, unsigned char output[16] );
|
H A D | sha1.h | 77 * \param output SHA-1 checksum result 79 void sha1_finish( sha1_context *ctx, unsigned char output[20] ); 86 * \param output SHA-1 checksum result 88 void sha1( unsigned char *input, int ilen, unsigned char output[20] );
|
H A D | des.h | 80 * \param output 64-bit output block 84 unsigned char output[8] );
|
/seL4-camkes-master/projects/camkes-tool/tools/ |
H A D | make_isabelle_symbols.py | 56 parser.add_argument('--output', '-o', type=argparse.FileType('w'), 60 # Re-open the output as UTF-8. 61 options.output = codecs.open(options.output.name, 'w', 'utf-8') 63 options.output.write(HEADER) 64 options.output.write('ISABELLE_SYMBOLS = frozenset((\n') 82 options.output.write(' (\'%s\', ' % fields[0].replace('\\', '\\\\')) 94 options.output.write('\'%s\'),\n' % six.unichr(code)) 100 options.output.write('))')
|
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | base64.h | 23 FILE *output; member in struct:__anon1 34 /* Create a new base64 streamer that streams to the given output */ 35 static inline base64_t base64_new(FILE *output) argument 38 .output = output, 58 /* Write any bits to the output */ 62 fputc(base64_lookup(part), streamer->output); 68 /* Write any remaining data to the output */ 74 fputc(base64_lookup(streamer->buffer), streamer->output); 76 fputc('=', streamer->output); [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | testutil.h | 57 /* A buffered printf to avoid corrupting xml output */ 91 static inline bool sel4test_isTimerRPC(int output) argument 93 return (output > SEL4TEST_TIME_MIN && output < SEL4TEST_TIME_MAX);
|
/seL4-camkes-master/kernel/manual/tools/ |
H A D | gen_env.py | 12 output = [] variable 16 print("Usage: gen_env.py <output file>") 32 output.append('\\newcommand{\\commitdate}{%s}' % ( 34 output.append('\\newcommand{\\commityear}{%s}' % ( 38 new_data = "\n".join(output) + "\n"
|
H A D | parse_doxygen_xml.py | 81 """Lookup refid in ref_dict and output the api function reference""" 110 output = "" 112 output += self.parse_para(item, ref_dict) 113 return output 200 output = "%s %s" % (ret_type, name) 202 output = "inline " + output 204 output = "static " + output 206 return output [all...] |
H A D | gen_invocations.py | 22 # Word size is required by the syscall_stub_gen library, but won't affect the output 109 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout", 134 if not os.path.exists(os.path.dirname(args.output)): 135 os.makedirs(os.path.dirname(args.output)) 137 with open(args.output, "w") as output: 138 gen_invocations(args.files, output)
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/ |
H A D | check-exports | 18 grep ' [DT] ' $test_log/symbols | cut -d' ' -f3 | grep -v '^_' | sort >$test_log/output 20 if ! cmp -s $test_log/exports $test_log/output; then 21 diff -u $test_log/exports $test_log/output >&2
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/valid/ |
H A D | run | 26 ref=output 27 [ -f $test_path/output$s ] && ref=output$s 48 ref=output 49 [ -f $test_path/output$s ] && ref=output$s
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage0.py | 54 output = output_basename + '.cpp' 57 output] + self.flags + [filename], stdout=subprocess.PIPE, 62 with codecs.open(output, 'r', 'utf-8') as f: 69 output_basename = os.path.join(self.out_dir, 'output.camkes') 70 output = output_basename + '.cpp' 73 output] + self.flags, stdin=subprocess.PIPE, 86 with codecs.open(output, 'r', 'utf-8') as f:
|
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/KeyboardDriver/ |
H A D | driver.c | 46 ringbuffer_t *output = rb_new((void *)char_out, sizeof(*char_out)); local 47 if (output == NULL) { 104 rb_transmit_byte(output, (unsigned char)c1);
|
/seL4-camkes-master/projects/lwip/src/apps/mqtt/ |
H A D | mqtt.c | 229 * Try send as many bytes as possible from output ring buffer 250 /* Space in TCP output buffer is larger than available in ring buffer linear portion */ 508 * Check output buffer space 608 if (mqtt_output_check_space(&client->output, 0) != 0) { 609 mqtt_output_append_fixed_header(&client->output, MQTT_MSG_TYPE_PINGREQ, 0, 0, 0, 0); 638 if (mqtt_output_check_space(&client->output, 2)) { 639 mqtt_output_append_fixed_header(&client->output, msg, 0, qos, 0, 2); 640 mqtt_output_append_u16(&client->output, pkt_id); 641 mqtt_output_send(&client->output, client->conn); 997 /* Try send any remaining buffers from output queu [all...] |
/seL4-camkes-master/tools/cogent/regression/ |
H A D | run_tests.py | 109 # Log only contains the output if verbose is *false*; otherwise, the 110 # log is output to stdout where we can't easily get to it. 131 output = subprocess.PIPE 140 stdout=output, stderr=subprocess.STDOUT, stdin=subprocess.PIPE, 147 output = "Exception while running test:\n\n%s" % (traceback.format_exc()) 150 print(output) 151 return (False, "ERROR", output, datetime.datetime.now() - start_time, peak_mem_usage) 166 (output, _) = process.communicate() 174 if output == None: 175 output [all...] |
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
H A D | bitfield_gen.py | 1203 print(string, file=params.output) 1204 print(file=params.output) 1340 output = params.output 1345 {"name": self.name}, file=output) 1346 print(file=output) 1354 substs, params.sorry), file=output) 1355 print(file=output) 1358 substs, params.sorry), file=output) 1359 print(file=output) [all...] |
/seL4-camkes-master/kernel/libsel4/tools/ |
H A D | bitfield_gen.py | 1203 print(string, file=params.output) 1204 print(file=params.output) 1340 output = params.output 1345 {"name": self.name}, file=output) 1346 print(file=output) 1354 substs, params.sorry), file=output) 1355 print(file=output) 1358 substs, params.sorry), file=output) 1359 print(file=output) [all...] |
/seL4-camkes-master/kernel/tools/ |
H A D | bitfield_gen.py | 1203 print(string, file=params.output) 1204 print(file=params.output) 1340 output = params.output 1345 {"name": self.name}, file=output) 1346 print(file=output) 1354 substs, params.sorry), file=output) 1355 print(file=output) 1358 substs, params.sorry), file=output) 1359 print(file=output) [all...] |