RI_AP_CPUS
if (nvlist_add_byte_array(nvl, RI_AP_CPUS, (uchar_t *)buf,
dprintf((stderr, "nvlist_add_byte_array (%s)\n", RI_AP_CPUS));
if (nvlist_lookup_byte_array(nvl, RI_AP_CPUS, (uchar_t **)&buf,
RI_AP_CPUS));