kdi_mach
kdi_mach_t kdi_mach;
#define mkdi_activate kdi_mach.mkdi_activate
#define mkdi_deactivate kdi_mach.mkdi_deactivate
#define mkdi_idt_switch kdi_mach.mkdi_idt_switch
#define mkdi_update_drreg kdi_mach.mkdi_update_drreg
#define mkdi_get_userlimit kdi_mach.mkdi_get_userlimit
#define mkdi_get_cpuinfo kdi_mach.mkdi_get_cpuinfo
#define mkdi_stop_slaves kdi_mach.mkdi_stop_slaves
#define mkdi_start_slaves kdi_mach.mkdi_start_slaves
#define mkdi_slave_wait kdi_mach.mkdi_slave_wait
#define mkdi_memrange_add kdi_mach.mkdi_memrange_add
#define mkdi_reboot kdi_mach.mkdi_reboot
#define mkdi_cpu_ready_iter kdi_mach.mkdi_cpu_ready_iter
#define mkdi_xc_one kdi_mach.mkdi_xc_one
#define mkdi_cpu_index kdi_mach.mkdi_cpu_index
#define mkdi_trap_vatotte kdi_mach.mkdi_trap_vatotte
#define mkdi_tickwait kdi_mach.mkdi_tickwait
#define mkdi_get_stick kdi_mach.mkdi_get_stick
#define mkdi_kernpanic kdi_mach.mkdi_kernpanic
#define mkdi_cpu_init kdi_mach.mkdi_cpu_init