149 mach_kdi_init(kdi_t *kdi)  in mach_kdi_init()  argument
151 	kdi->kdi_plat_call = kdi_plat_call;  in mach_kdi_init()
152 	kdi->kdi_kmdb_enter = kmdb_enter;  in mach_kdi_init()
153 	kdi->mkdi_activate = kdi_activate;  in mach_kdi_init()
154 	kdi->mkdi_deactivate = kdi_deactivate;  in mach_kdi_init()
155 	kdi->mkdi_idt_switch = kdi_idt_switch;  in mach_kdi_init()
156 	kdi->mkdi_update_drreg = kdi_update_drreg;  in mach_kdi_init()
157 	kdi->mkdi_get_userlimit = kdi_get_userlimit;  in mach_kdi_init()
158 	kdi->mkdi_get_cpuinfo = kdi_get_cpuinfo;  in mach_kdi_init()
159 	kdi->mkdi_stop_slaves = kdi_stop_slaves;  in mach_kdi_init()
160 	kdi->mkdi_start_slaves = kdi_start_slaves;  in mach_kdi_init()
161 	kdi->mkdi_slave_wait = kdi_slave_wait;  in mach_kdi_init()
162 	kdi->mkdi_memrange_add = kdi_memrange_add;  in mach_kdi_init()
163 	kdi->mkdi_reboot = kdi_reboot;  in mach_kdi_init()
167 plat_kdi_init(kdi_t *kdi)  in plat_kdi_init()  argument
169 	kdi->pkdi_system_claim = kdi_system_claim;  in plat_kdi_init()
170 	kdi->pkdi_system_release = kdi_system_release;  in plat_kdi_init()