Searched refs:SAFE (Results 1 - 7 of 7) sorted by relevance

/barrelfish-master/kernel/include/
H A Dgdb_stub.h19 int gdb_arch_get_register(int regnum, uintptr_t * NONNULL SAFE value);
21 int gdb_arch_write_byte(uint8_t * NONNULL SAFE addr, uint8_t val);
22 int gdb_arch_read_byte(uint8_t * NONNULL SAFE addr, uint8_t * NONNULL SAFE val);
/barrelfish-master/include/deputy/
H A Dnodeputy.h21 #define SAFE macro
/barrelfish-master/kernel/arch/x86/
H A Dstartup_x86.c194 struct multiboot_mmap * printcurmmap = (struct multiboot_mmap * SAFE)TC(printcur);\
216 struct multiboot_mmap * curmmap = (struct multiboot_mmap * SAFE)TC(cur);
220 struct multiboot_mmap * nextmmap = (struct multiboot_mmap * SAFE)TC(cur + curmmap->size + 4);
245 struct multiboot_mmap * curmmap = (struct multiboot_mmap * SAFE)TC(cur);
249 struct multiboot_mmap * nextmmap = (struct multiboot_mmap * SAFE)TC(cur + curmmap->size + 4);
268 struct multiboot_mmap * bubblecur_mmap = (struct multiboot_mmap * SAFE)TC(bubblecur);\
271 struct multiboot_mmap * bubblenext_mmap = (struct multiboot_mmap * SAFE)TC(bubblecur + bubblecur_mmap->size + 4);\
395 struct multiboot_mmap * curmmap = (struct multiboot_mmap * SAFE)TC(cur);
399 struct multiboot_mmap * nextmmap = (struct multiboot_mmap * SAFE)TC(cur + curmmap->size + 4);
/barrelfish-master/kernel/
H A Dgdb_stub.c149 r = gdb_arch_read_byte((uint8_t * SAFE NONNULL)TC(mem + mempos), &ch);
179 int r = gdb_arch_write_byte(&((uint8_t * SAFE NONNULL)TC(mem))[mempos],
/barrelfish-master/kernel/arch/x86_64/
H A Dstartup_arch.c164 struct multiboot_mmap *mmap = (struct multiboot_mmap * SAFE)TC(m);
/barrelfish-master/kernel/arch/k1om/
H A Dstartup_arch.c177 struct multiboot_mmap *mmap = (struct multiboot_mmap * SAFE)TC(m);
/barrelfish-master/kernel/arch/x86_32/
H A Dstartup_arch.c168 struct multiboot_mmap *mmap = (struct multiboot_mmap * SAFE)TC(m);

Completed in 101 milliseconds