Searched refs:sel4runtime_uint32_t (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/sel4runtime/include/sel4runtime/
H A Delf.h39 typedef sel4runtime_uint32_t Elf32_Word;
41 typedef sel4runtime_uint32_t Elf64_Word;
49 typedef sel4runtime_uint32_t Elf32_Addr;
52 typedef sel4runtime_uint32_t Elf32_Off;
H A Dstdint.h35 typedef unsigned int sel4runtime_uint32_t; typedef
/seL4-camkes-master/projects/sel4runtime/src/
H A Dmemcpy.c44 typedef sel4runtime_uint32_t __attribute__((__may_alias__)) u32;
45 sel4runtime_uint32_t w, x;
H A Dmemset.c66 typedef sel4runtime_uint32_t __attribute__((__may_alias__)) u32;

Completed in 94 milliseconds