Searched refs:NONNULL (Results 1 - 12 of 12) sorted by relevance
| /barrelfish-master/kernel/include/ |
| H A D | gdb_stub.h | 19 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/kernel/arch/x86_32/ |
| H A D | gdb_arch.c | 66 void gdb_handle_exception_onstack(int vector, uintptr_t * NONNULL
68 void gdb_handle_exception_onstack(int vector, uintptr_t * NONNULL
|
| H A D | irq.c | 715 uintptr_t * NONNULL COUNT(X86_SAVE_AREA_SIZE) cpu_save_area,
|
| /barrelfish-master/kernel/ |
| H A D | gdb_stub.c | 113 static const char * NONNULL NTS parse_hex_val(const char * NONNULL NTS str,
114 uintptr_t * NONNULL val)
138 char * NONNULL COUNT(buflen) buf, size_t buflen)
149 r = gdb_arch_read_byte((uint8_t * SAFE NONNULL)TC(mem + mempos), &ch);
168 static int hex_to_mem(const char * NONNULL NT COUNT(memlen * 2) buf,
179 int r = gdb_arch_write_byte(&((uint8_t * SAFE NONNULL)TC(mem))[mempos],
195 static const char * NONNULL NTS getpacket(void)
248 static void putpacket(char * NONNULL NTS buffer)
276 const char * NONNULL NT
[all...] |
| /barrelfish-master/include/deputy/ |
| H A D | nodeputy.h | 25 #define NONNULL macro
|
| /barrelfish-master/kernel/include/target/x86_32/ |
| H A D | paging_kernel_target.h | 204 NONNULL p)
219 NONNULL p)
235 static inline void paging_x86_32_map_table(union x86_32_pdir_entry * NONNULL entry,
273 static inline void paging_x86_32_map_large(union x86_32_ptable_entry * NONNULL entry,
310 static inline void paging_x86_32_map(union x86_32_ptable_entry * NONNULL entry,
341 static inline void paging_x86_32_modify_flags_large(union x86_32_ptable_entry * NONNULL entry,
369 static inline void paging_x86_32_modify_flags(union x86_32_ptable_entry * NONNULL entry,
388 static inline void paging_x86_32_unmap(union x86_32_ptable_entry * NONNULL entry)
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | gdb_arch.c | 84 void gdb_handle_exception_onstack(int vector, uintptr_t * NONNULL
86 void gdb_handle_exception_onstack(int vector, uintptr_t * NONNULL
|
| H A D | irq.c | 734 uintptr_t * NONNULL COUNT(X86_SAVE_AREA_SIZE) cpu_save_area,
756 uintptr_t * NONNULL COUNT(X86_SAVE_AREA_SIZE) cpu_save_area,
1015 uintptr_t * NONNULL COUNT(X86_SAVE_AREA_SIZE) cpu_save_area,
|
| /barrelfish-master/usr/arrakismon/ |
| H A D | paging.h | 14 #define NONNULL macro
319 static inline void paging_x86_64_map(union x86_64_ptable_entry * NONNULL entry,
403 static inline void paging_x86_64_modify_flags(union x86_64_ptable_entry * NONNULL entry,
420 static inline void paging_unmap(union x86_64_ptable_entry * NONNULL entry)
|
| /barrelfish-master/usr/tests/nested_paging_test/ |
| H A D | nestedpaging.h | 14 #define NONNULL macro
308 static inline void paging_x86_64_map(union x86_64_ptable_entry * NONNULL entry,
392 static inline void paging_x86_64_modify_flags(union x86_64_ptable_entry * NONNULL entry,
409 static inline void paging_unmap(union x86_64_ptable_entry * NONNULL entry)
|
| /barrelfish-master/kernel/include/target/x86_64/ |
| H A D | paging_kernel_target.h | 238 NONNULL p)
253 NONNULL p)
410 static inline void paging_x86_64_map(union x86_64_ptable_entry * NONNULL entry,
435 static inline void paging_x86_64_ept_map(union x86_64_ept_ptable_entry * NONNULL entry,
525 static inline void paging_x86_64_modify_flags(union x86_64_ptable_entry * NONNULL entry,
546 static inline void paging_x86_64_pdir_modify_flags(union x86_64_pdir_entry * NONNULL entry,
561 static inline void paging_unmap(union x86_64_ptable_entry * NONNULL entry)
|
| /barrelfish-master/lib/posixcompat/ |
| H A D | nestedpaging.h | 14 #define NONNULL macro
308 static inline void paging_x86_64_map(union x86_64_ptable_entry * NONNULL entry,
392 static inline void paging_x86_64_modify_flags(union x86_64_ptable_entry * NONNULL entry,
409 static inline void paging_unmap(union x86_64_ptable_entry * NONNULL entry)
|
Completed in 170 milliseconds