Searched refs:NTS (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/kernel/include/
H A Dmicrobenchmarks.h24 const char * NTS name;
H A Dkernel_multiboot.h25 #define MBADDR_ASSTRING(vaddr) (char * NTS)TC((uintptr_t)(local_phys_to_mem(vaddr)))
H A Dgdb_stub.h16 void gdb_stub_entry(int signal_code, char * OPT NTS init_message)
/barrelfish-master/include/deputy/
H A Dnodeputy.h28 #define NTS macro
/barrelfish-master/kernel/
H A Dgdb_stub.c113 static const char * NONNULL NTS parse_hex_val(const char * NONNULL NTS str,
195 static const char * NONNULL NTS getpacket(void)
248 static void putpacket(char * NONNULL NTS buffer)
274 void gdb_stub_entry(int signal_code, char * OPT NTS init_message)
276 const char * NONNULL NTS request;
277 const char * NONNULL NTS newpos;
H A Dprintf.c87 const char * NTS fmt0, va_list ap, int oflags);

Completed in 96 milliseconds