| /seL4-camkes-master/projects/projects_libs/libtx2bpmp/include/tx2bpmp/ |
| H A D | ivc.h | 85 * frame_size - The size of each frame in shared memory.
87 uint32_t frame_size; member in struct:tegra_ivc
184 * @frame_size Size of each frame.
189 uint32_t nframes, uint32_t frame_size,
|
| /seL4-camkes-master/projects/projects_libs/libtx2bpmp/src/ |
| H A D | ivc.c | 105 (ivc->frame_size * frame);
442 uint32_t frame_size)
454 if ((uint64_t)nframes * (uint64_t)frame_size >= 0x100000000) {
455 ZF_LOGE("tegra_ivc: nframes * frame_size overflows\n");
469 if (frame_size & (TEGRA_IVC_ALIGN - 1)) {
475 if (qbase1 + frame_size * nframes > qbase2)
478 if (qbase2 + frame_size * nframes > qbase1)
491 uint32_t nframes, uint32_t frame_size,
499 ret = check_ivc_params(rx_base, tx_base, nframes, frame_size);
508 ivc->frame_size
441 check_ivc_params(unsigned long qbase1, unsigned long qbase2, uint32_t nframes, uint32_t frame_size) argument
490 tegra_ivc_init(struct tegra_ivc *ivc, unsigned long rx_base, unsigned long tx_base, uint32_t nframes, uint32_t frame_size, void (*notify)(struct tegra_ivc *, void *), void *notify_token) argument
[all...] |
| /seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
| H A D | Context.py | 104 (lambda global_name, symbol, size, frame_size=None, paddr=None,
108 frame_size, paddr, perm, cached, label, with_mapping_caps)),
111 (lambda global_name, size, frame_size=None, label=entity.parent.label():
113 obj_space, global_name, size, frame_size, label)),
451 def calc_frame_size(size, frame_size, arch):
452 if not frame_size:
455 frame_size = sz
457 assert frame_size, "Shared variable size: %d is not a valid page size multiple" % size
458 return frame_size
462 frame_size
[all...] |
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | boot.c | 56 vm_page_size_t frame_size; local
59 frame_size = RISCV_Mega_Page;
61 frame_size = RISCV_4K_Page;
67 frame_size, /* capFSize */
|
| /seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 469 vm_page_size_t frame_size; local
472 frame_size = X86_LargePage;
474 frame_size = X86_SmallPage;
479 frame_size, /* capFSize */
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_6lowpan_ll.c | 401 uint16_t frame_size, pl_available = 0; local
406 frame_size = (uint16_t)(f->len);
417 if (frame_size > pl_available)
|
| /seL4-camkes-master/projects/lwip/src/apps/snmp/ |
| H A D | snmp_msg.c | 1605 u16_t frame_size; local
1672 frame_size = request->outbound_pbuf_stream.offset;
1678 outbound_padding = (8 - (u8_t)((frame_size - request->outbound_scoped_pdu_seq_offset) & 0x07)) & 0x07;
1686 SNMP_ASN1_SET_TLV_PARAMS(tlv, SNMP_ASN1_TYPE_SEQUENCE, 3, frame_size + outbound_padding - 1 - 3); /* - type - length_len(fixed, see snmp_prepare_outbound_frame()) */
1711 SNMP_ASN1_SET_TLV_PARAMS(tlv, SNMP_ASN1_TYPE_SEQUENCE, 3, frame_size - request->outbound_scoped_pdu_seq_offset - 1 - 3);
1719 frame_size - request->outbound_pdu_offset - 1 - 3); /* - type - length_len(fixed, see snmp_prepare_outbound_frame()) */
1778 SNMP_ASN1_SET_TLV_PARAMS(tlv, SNMP_ASN1_TYPE_SEQUENCE, 3, frame_size - request->outbound_varbind_offset);
1792 SNMP_ASN1_SET_TLV_PARAMS(tlv, SNMP_ASN1_TYPE_OCTET_STRING, 3, frame_size + outbound_padding
1811 OF_BUILD_EXEC(snmpv3_auth(&request->outbound_pbuf_stream, frame_size + outbound_padding, key, algo, hmac));
1826 pbuf_realloc(request->outbound_pbuf, frame_size
[all...] |
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | macros.py | 129 Returns the largest frame_size that can be used to create
133 frame_size = 0
137 frame_size = sz
139 return frame_size
|
| /seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 764 vm_page_size_t frame_size; local
767 frame_size = X86_LargePage;
769 frame_size = X86_SmallPage;
776 frame_size, /* capFSize */
|
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 345 vm_page_size_t frame_size; local
347 frame_size = ARMLargePage;
349 frame_size = ARMSmallPage;
355 frame_size, /* capFSize */
|