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

/barrelfish-master/tools/molly/
H A Dmolly_init.c92 static void putptr64(void *ptr) { function
98 putptr64(ptr);

Completed in 26 milliseconds