Searched defs:original (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/lwip/src/include/lwip/
H A Dip4_frag.h86 struct pbuf *original; member in struct:pbuf_custom_ref
H A Dip6_frag.h131 struct pbuf *original; member in struct:pbuf_custom_ref
/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dcpu_identification.c56 x86_cpuid_intel_identity_initialize(cpu_identity_t *ci, struct family_model original) argument
97 x86_cpuid_amd_identity_initialize(cpu_identity_t *ci, struct family_model original) argument
119 struct family_model original; local
[all...]
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c390 static inline uint32_t applyFixedBits(uint32_t original, uint32_t high, uint32_t low) argument
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_mdns.c1605 pico_mdns_ttl_at_refresh_time( uint32_t original, argument
1636 uint32_t current = 0, original = 0; local
[all...]

Completed in 40 milliseconds