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

/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dio.c210 int frame_size_index = 0; local

Completed in 74 milliseconds