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

/freebsd-10.1-release/tools/tools/vxge/
H A Dvxge_info.h63 void vxge_print_registers(void *);
H A Dvxge_log.c38 * vxge_print_registers
43 vxge_print_registers(void *registers) function
H A Dvxge_info.c318 vxge_print_registers(buffer);

Completed in 103 milliseconds