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

/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Delf_sift.py81 total = sum(regions) variable
84 total = get_aligned_size(total) variable
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dgpio.c159 int total = 0; local
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dscheduler.c1560 uint64_t total = 0; local

Completed in 34 milliseconds