18 s->
Printf(
"uid=0x%" PRIx64, uid);
23 s->
Printf(
"isa_ptr=0x%" PRIx64, isa_ptr);
28 s->
Printf(
"obj_ptr_name=\"%s\" ", obj_ptr_name);
A stream class that can stream formatted output to a file.
size_t Printf(const char *format,...) __attribute__((format(printf
Output printf formatted output to the stream.
size_t EOL()
Output and End of Line character to the stream.
A class that represents a running process on the host machine.