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

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

Completed in 27 milliseconds