Searched refs:e_ddi_prop_update_int64 (Results 1 – 3 of 3) sorted by relevance
61 e_ddi_prop_update_int64(dev_t match_dev, dev_info_t *dip,
1937 (void) e_ddi_prop_update_int64(DDI_DEV_T_NONE, in get_boot_properties()
3803 e_ddi_prop_update_int64(dev_t match_dev, dev_info_t *dip, in e_ddi_prop_update_int64() function