bhyve_cpuregs_dcmd
return (bhyve_cpuregs_dcmd(addr, flags, argc, argv));
"specific CPU", bhyve_cpuregs_dcmd },