/seL4-test-master/tools/nanopb/tests/callbacks/ |
H A D | decode_callbacks.c | 10 bool print_string(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 28 bool print_int32(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 38 bool print_fixed32(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 48 bool print_fixed64(pb_istream_t *stream, const pb_field_t *field, void **arg) argument
|
H A D | encode_callbacks.c | 9 bool encode_string(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 19 bool encode_int32(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 27 bool encode_fixed32(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 37 bool encode_fixed64(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 47 bool encode_repeatedstring(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument [all...] |
/seL4-test-master/tools/nanopb/tests/cyclic_messages/ |
H A D | encode_cyclic_callback.c | 33 static bool encode_tree(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 61 static bool encode_dictionary(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument
|
/seL4-test-master/tools/nanopb/tests/regression/issue_249/ |
H A D | test.c | 6 static bool write_array(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 20 static bool read_array(pb_istream_t *stream, const pb_field_t *field, void **arg) argument
|
/seL4-test-master/tools/nanopb/tests/regression/issue_342/ |
H A D | test_extensions.c | 9 static bool write_string(pb_ostream_t *stream, const pb_field_t *field, const void *arg) argument
|
/seL4-test-master/tools/nanopb/examples/network_server/ |
H A D | client.c | 30 bool ListFilesResponse_callback(pb_istream_t *istream, pb_ostream_t *ostream, const pb_field_iter_t *field) argument
|
H A D | server.c | 31 bool ListFilesResponse_callback(pb_istream_t *istream, pb_ostream_t *ostream, const pb_field_iter_t *field) argument
|
/seL4-test-master/tools/nanopb/tests/mem_release/ |
H A D | mem_release.c | 180 static bool dummy_decode_cb(pb_istream_t *stream, const pb_field_t *field, void **arg) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | guest_x86_context.c | 49 int vm_set_vmcs_field(vm_vcpu_t *vcpu, seL4_Word field, uint32_t value) argument 96 int vm_get_vmcs_field(vm_vcpu_t *vcpu, seL4_Word field, uint32_t *value) argument 145 int vm_vmcs_read(seL4_CPtr vcpu, seL4_Word field, unsigned int *value) argument 163 int vm_vmcs_write(seL4_CPtr vcpu, seL4_Word field, seL4_Wor argument [all...] |
/seL4-test-master/tools/nanopb/tests/decode_unittests/ |
H A D | decode_unittests.c | 24 bool callback_check(pb_istream_t *stream, const pb_field_t *field, void **arg) argument
|
/seL4-test-master/tools/nanopb/tests/encode_unittests/ |
H A D | encode_unittests.c | 21 bool fieldcallback(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 29 bool crazyfieldcallback(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 145 pb_field_iter_t field; local 180 pb_field_iter_t field; local 214 pb_field_iter_t field; local 241 pb_field_iter_t field; local 254 pb_field_iter_t field; local [all...] |
/seL4-test-master/tools/nanopb/ |
H A D | pb_common.c | 224 bool pb_default_field_callback(pb_istream_t *istream, pb_ostream_t *ostream, const pb_field_t *field) argument [all...] |
H A D | pb_encode.c | 106 encode_array(pb_ostream_t *stream, pb_field_iter_t *field) argument 218 pb_check_proto3_default_value(const pb_field_iter_t *field) argument 308 encode_basic_field(pb_ostream_t *stream, const pb_field_iter_t *field) argument 349 encode_callback_field(pb_ostream_t *stream, const pb_field_iter_t *field) argument 360 encode_field(pb_ostream_t *stream, pb_field_iter_t *field) argument 428 encode_extension_field(pb_ostream_t *stream, const pb_field_iter_t *field) argument 716 pb_enc_varint(pb_ostream_t *stream, const pb_field_iter_t *field) argument 764 pb_enc_fixed(pb_ostream_t *stream, const pb_field_iter_t *field) argument 782 pb_enc_bytes(pb_ostream_t *stream, const pb_field_iter_t *field) argument 803 pb_enc_string(pb_ostream_t *stream, const pb_field_iter_t *field) argument 851 pb_enc_submessage(pb_ostream_t *stream, const pb_field_iter_t *field) argument 859 pb_enc_fixed_length_bytes(pb_ostream_t *stream, const pb_field_iter_t *field) argument [all...] |
H A D | pb_decode.c | 381 decode_basic_field(pb_istream_t *stream, pb_field_iter_t *field) argument 411 decode_static_field(pb_istream_t *stream, pb_wire_type_t wire_type, pb_field_iter_t *field) argument 522 initialize_pointer_field(void *pItem, pb_field_iter_t *field) argument 544 decode_pointer_field(pb_istream_t *stream, pb_wire_type_t wire_type, pb_field_iter_t *field) argument 663 decode_callback_field(pb_istream_t *stream, pb_wire_type_t wire_type, pb_field_iter_t *field) argument 706 decode_field(pb_istream_t *stream, pb_wire_type_t wire_type, pb_field_iter_t *field) argument 794 pb_field_set_to_default(pb_field_iter_t *field) argument 1121 pb_release_union_field(pb_istream_t *stream, pb_field_iter_t *field) argument 1143 pb_release_single_field(pb_field_iter_t *field) argument 1317 pb_dec_varint(pb_istream_t *stream, const pb_field_iter_t *field) argument 1389 pb_dec_fixed(pb_istream_t *stream, const pb_field_iter_t *field) argument 1407 pb_dec_bytes(pb_istream_t *stream, const pb_field_iter_t *field) argument 1444 pb_dec_string(pb_istream_t *stream, const pb_field_iter_t *field) argument 1479 pb_dec_submessage(pb_istream_t *stream, const pb_field_iter_t *field) argument 1504 pb_dec_fixed_length_bytes(pb_istream_t *stream, const pb_field_iter_t *field) argument [all...] |
/seL4-test-master/tools/nanopb/tests/alltypes_callback/ |
H A D | encode_alltypes_callback.c | 13 static bool write_varint(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 19 static bool write_svarint(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 25 static bool write_fixed32(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 31 static bool write_fixed64(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 37 static bool write_string(pb_ostream_t *stream, const pb_field_t *field, voi argument 43 write_submsg(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 50 write_emptymsg(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 57 write_repeated_varint(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 71 write_repeated_svarint(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 85 write_repeated_fixed32(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 99 write_repeated_fixed64(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 113 write_repeated_string(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 127 write_repeated_submsg(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 143 write_limits(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 161 write_repeated_emptymsg(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument [all...] |
H A D | decode_alltypes_callback.c | 18 static bool read_varint(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 28 static bool read_svarint(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 38 static bool read_fixed32(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 48 static bool read_fixed64(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 58 static bool read_string(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 70 static bool read_submsg(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 85 static bool read_emptymsg(pb_istream_t *stream, const pb_field_t *field, voi argument 91 read_repeated_varint(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 102 read_repeated_svarint(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 113 read_repeated_fixed32(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 124 read_repeated_fixed64(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 135 read_repeated_string(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 148 read_repeated_submsg(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 164 read_limits(pb_istream_t *stream, const pb_field_t *field, void **arg) argument [all...] |
/seL4-test-master/tools/nanopb/tests/alltypes_proto3_callback/ |
H A D | decode_alltypes_callback.c | 18 static bool read_varint(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 28 static bool read_svarint(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 38 static bool read_fixed32(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 48 static bool read_fixed64(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 58 static bool read_string(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 70 static bool read_submsg(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 84 static bool read_emptymsg(pb_istream_t *stream, const pb_field_t *field, voi argument 90 read_repeated_varint(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 101 read_repeated_svarint(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 112 read_repeated_fixed32(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 123 read_repeated_fixed64(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 134 read_repeated_string(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 147 read_repeated_submsg(pb_istream_t *stream, const pb_field_t *field, void **arg) argument 162 read_limits(pb_istream_t *stream, const pb_field_t *field, void **arg) argument [all...] |
H A D | encode_alltypes_callback.c | 13 static bool write_varint(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 19 static bool write_svarint(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 25 static bool write_fixed32(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 31 static bool write_fixed64(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 37 static bool write_string(pb_ostream_t *stream, const pb_field_t *field, voi argument 43 write_submsg(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 50 write_emptymsg(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 57 write_repeated_varint(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 71 write_repeated_svarint(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 85 write_repeated_fixed32(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 99 write_repeated_fixed64(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 113 write_repeated_string(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 127 write_repeated_submsg(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 143 write_limits(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument 161 write_repeated_emptymsg(pb_ostream_t *stream, const pb_field_t *field, void * const *arg) argument [all...] |
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | vcpu.c | 58 static word_t readVCPUReg(vcpu_t *vcpu, word_t field) argument 78 static void writeVCPUReg(vcpu_t *vcpu, word_t field, word_t value) argument 299 invokeVCPUWriteReg(vcpu_t *vcpu, word_t field, word_t value) argument 307 word_t field; local 326 invokeVCPUReadReg(vcpu_t *vcpu, word_t field, bool_t call) argument 344 word_t field; local [all...] |
/seL4-test-master/kernel/src/drivers/smmu/ |
H A D | smmuv2.c | 180 uint32_t reg, field; local
|
/seL4-test-master/kernel/include/arch/x86/arch/object/ |
H A D | vcpu.h | 354 static inline word_t vmread(word_t field) argument 368 static inline void vmwrite(word_t field, word_t value) argument
|
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | vcpu.c | 611 static exception_t invokeWriteVMCS(vcpu_t *vcpu, word_t *buffer, word_t field, word_t value) argument 640 word_t field; local 743 readVMCSField(vcpu_t *vcpu, word_t field) argument 761 invokeReadVMCS(vcpu_t *vcpu, word_t field, word_t *buffer) argument 780 word_t field = getSyscallArg(0, buffer); local [all...] |