Searched defs:available (Results 1 - 9 of 9) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4vka/src/ |
H A D | debug-vka.c | 95 unsigned int available = 0; local 187 unsigned int available = 0; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 264 bool available = is_available(data->top_level, current, size_bits); local
|
/seL4-camkes-master/projects/lwip/src/api/ |
H A D | api_msg.c | 1644 u16_t len, available; local
|
/seL4-camkes-master/kernel/src/kernel/ |
H A D | boot.c | 706 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 D | dhcp.c | 1482 size_t available = DHCP_OPTIONS_LEN - options_out_len - 3; local
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_6lowpan.c | 1370 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 D | ethtool.h | 417 uint32_t available; member in struct:ethtool_get_features_block
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | ethtool.h | 419 uint32_t available; member in struct:ethtool_get_features_block
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | ethtool.h | 418 uint32_t available; member in struct:ethtool_get_features_block
|
Completed in 137 milliseconds