From c4486d3563a4e3dfb1934252c1261d74965075c7 Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Sun, 19 Feb 2012 17:00:53 +0100 Subject: Fix pfinet device_open errno reporting * pfinet/ethernet.c (ethernet_open): Use value saved in `file_errno', not `errno'. --- pfinet/ethernet.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'pfinet') diff --git a/pfinet/ethernet.c b/pfinet/ethernet.c index 745a0e1d..0fd76706 100644 --- a/pfinet/ethernet.c +++ b/pfinet/ethernet.c @@ -203,14 +203,14 @@ ethernet_open (struct device *dev) err = get_privileged_ports (0, &master_device); if (err) { - error (0, errno, "file_name_lookup %s", dev->name); + error (0, file_errno, "file_name_lookup %s", dev->name); error (2, err, "and cannot get device master port"); } err = device_open (master_device, D_WRITE | D_READ, dev->name, &edev->ether_port); mach_port_deallocate (mach_task_self (), master_device); if (err) { - error (0, errno, "file_name_lookup %s", dev->name); + error (0, file_errno, "file_name_lookup %s", dev->name); error (2, err, "device_open(%s)", dev->name); } -- cgit v1.2.3