Searched refs:push_parameter (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/scripts/
H A Dkernel-doc1879 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

Completed in 113 milliseconds