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

/barrelfish-2018-10-04/usr/drivers/vbe/
H A Dint10.c74 static void dump_registers(void) function
201 dump_registers();

Completed in 78 milliseconds