Searched refs:push_parameter (Results 1 – 1 of 1) sorted by relevance
| /external/u-boot/scripts/ |
| D | kernel-doc | 1879 push_parameter($arg, "", $file);
1888 push_parameter($param, $type, $file);
1913 push_parameter($2, "$type $1", $file);
1918 push_parameter($1, "$type:$2", $file)
1923 push_parameter($param, $type, $file);
1930 sub push_parameter($$$) { subroutine
|