Searched refs:sel4runtime_uint64_t (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/sel4runtime/include/sel4runtime/
H A Delf.h44 typedef sel4runtime_uint64_t Elf32_Xword;
46 typedef sel4runtime_uint64_t Elf64_Xword;
50 typedef sel4runtime_uint64_t Elf64_Addr;
53 typedef sel4runtime_uint64_t Elf64_Off;
H A Dstdint.h36 typedef unsigned long long sel4runtime_uint64_t; typedef
/seL4-camkes-master/projects/sel4runtime/src/
H A Dmemset.c67 typedef sel4runtime_uint64_t __attribute__((__may_alias__)) u64;

Completed in 80 milliseconds