freebsd_amp_hwpstate/eBones/kdb/krb_dbl.c