Searched refs:sel4runtime_int32_t (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/sel4runtime/include/sel4runtime/
H A Dstdint.h30 typedef signed int sel4runtime_int32_t; typedef
H A Delf.h40 typedef sel4runtime_int32_t Elf32_Sword;
42 typedef sel4runtime_int32_t Elf64_Sword;

Completed in 34 milliseconds