Searched refs:kdp_machine_init (Results 1 – 3 of 3) sorted by relevance
51 void kdp_machine_init(void);
2254 kdp_machine_init(); in kdp_init()
459 kdp_machine_init(void) in kdp_machine_init() function