Searched defs:available (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4vka/src/
H A Ddebug-vka.c95 unsigned int available = 0; local
187 unsigned int available = 0; local
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c264 bool available = is_available(data->top_level, current, size_bits); local
/seL4-camkes-master/projects/lwip/src/api/
H A Dapi_msg.c1644 u16_t len, available; local
/seL4-camkes-master/kernel/src/kernel/
H A Dboot.c706 BOOT_CODE void init_freemem(word_t n_available, const p_region_t *available, argument
[all...]
/seL4-camkes-master/projects/lwip/src/core/ipv4/
H A Ddhcp.c1482 size_t available = DHCP_OPTIONS_LEN - options_out_len - 3; local
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_6lowpan.c1370 frag_1st_no_comp(struct pico_frame *f, uint16_t dgram_size, int32_t available) argument
1389 frag_1st_comp(struct pico_frame *f, uint16_t dgram_size, int32_t available, int32_t udp) argument
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dethtool.h417 uint32_t available; member in struct:ethtool_get_features_block
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dethtool.h419 uint32_t available; member in struct:ethtool_get_features_block
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dethtool.h418 uint32_t available; member in struct:ethtool_get_features_block

Completed in 137 milliseconds