mkdi_xc_one
int (*mkdi_xc_one)(int, void (*)(uintptr_t, uintptr_t),
#define mkdi_xc_one kdi_mach.mkdi_xc_one
kdi->mkdi_xc_one = kdi_xc_one;
kdi->mkdi_xc_one = kdi_xc_one;
kdi->mkdi_xc_one = kdi_xc_one;
kdi->mkdi_xc_one = kdi_xc_one;