devctl_ddef_int_array

243

(void) devctl_ddef_int_array(ddef_hdl, "reg", 2, nd_reg);

1776

status = devctl_ddef_int_array(ddef_hdl, "reg", 2,

677

(void) devctl_ddef_int_array(ddef_hdl, "reg", 2, ps0_addr);

679

(void) devctl_ddef_int_array(ddef_hdl, "reg", 2, ps1_addr);

2882

(void) devctl_ddef_int_array(ddef_hdl, "reg", 2, nd_reg);

166

devctl_ddef_int_array(devctl_ddef_t, char *, int, int32_t *);