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

/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dsimple.c93 uint8_t custom_device = init_data->untyped_list[n].is_device; local
173 uint8_t custom_device = init_data->untyped_list[i].is_device; local
191 uint8_t custom_device = init_data->untyped_list[i].is_device; local

Completed in 32 milliseconds