Searched refs:tdata_end (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/sel4runtime/src/ | ||
| H A D | start_root.c | 45 sel4runtime_uintptr_t tdata_end = (sel4runtime_uintptr_t) &_tdata_end[0]; local 53 .p_filesz = tdata_end - tdata_start, |
Completed in 78 milliseconds