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

/freebsd-10-stable/tools/tools/vxge/
H A Dvxge_info.h66 void vxge_print_registers_vpmgmt(void *);
H A Dvxge_log.c251 * vxge_print_registers_vpmgmt
256 vxge_print_registers_vpmgmt(void *registers) function
H A Dvxge_info.c494 vxge_print_registers_vpmgmt(buffer);

Completed in 110 milliseconds