Searched refs:apic_show_registers (Results 1 – 4 of 4) sorted by relevance
36 apic_show_registers(void) in apic_show_registers() function
22 apic_show_registers(void) in apic_show_registers() function
84 L4_CV void apic_show_registers(void);
Completed in 8 milliseconds