call_remote procedure (DejaGnu)

---

call_remote procedure

call_remote Procedure

A standard procedure to call the appropriate proc. This proceure first looks for a board-specific version, then a protocol-specific version, and finally call_remote will call standard_$proc.

call_remote type proc dest args

proc

dest

args