Lines Matching full:varargs
2075 // The PCS varargs registers for printf. Note that x0 is used for the printf2107 // In C, floats are always cast to doubles for varargs calls.