* Bug: linux/acpi may execute notify handler that has been removed
@ 2007-09-27 3:30 Zhang Rui
2007-09-27 4:53 ` Alexey Starikovskiy
2007-09-27 4:54 ` Shaohua Li
0 siblings, 2 replies; 8+ messages in thread
From: Zhang Rui @ 2007-09-27 3:30 UTC (permalink / raw)
To: linux-acpi; +Cc: rebort.moore, astarikovskiy
Hi, all,
I found a bug that linux/acpi may execute notify handler that
has been removed.
When a system notify(0~0x7f) is received, linux/acpi will
first invoke the generic system notify handler (acpi_bus_notify)
and then invoke the per-device notify handler if present.
In my case, I add some code in acpi_bus_notify for battery
hotplug support, so that the generic system notify handler will
remove the battery device, including the per-device notify handler
acpi_battery_notify() when receiving notification
ACPI_NOTIFY_EJECT_REQUEST.
But linux/acpi invokes the per-device notify handler soon and
this breaks the system.
Further more, device hot-removal is not the only case to encounter
this bug. For example, linux/acpi receives a notification and adds it
in the workqueue, and then the driver(notify handler) is removed
before kacpid_notify invoke it...
Attachment is the patch for battery hotplug support.
Any ideas about this bug?
Thanks,
Rui
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Bug: linux/acpi may execute notify handler that has been removed
2007-09-27 3:30 Bug: linux/acpi may execute notify handler that has been removed Zhang Rui
@ 2007-09-27 4:53 ` Alexey Starikovskiy
2007-09-27 5:03 ` Zhang Rui
2007-09-27 4:54 ` Shaohua Li
1 sibling, 1 reply; 8+ messages in thread
From: Alexey Starikovskiy @ 2007-09-27 4:53 UTC (permalink / raw)
To: Zhang Rui; +Cc: linux-acpi, rebort.moore
Zhang Rui wrote:
> Attachment is the patch for battery hotplug support.
There is it?
> Any ideas about this bug?
Regards,
Alex.
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Bug: linux/acpi may execute notify handler that has been removed
2007-09-27 3:30 Bug: linux/acpi may execute notify handler that has been removed Zhang Rui
2007-09-27 4:53 ` Alexey Starikovskiy
@ 2007-09-27 4:54 ` Shaohua Li
2007-09-27 6:24 ` Alexey Starikovskiy
1 sibling, 1 reply; 8+ messages in thread
From: Shaohua Li @ 2007-09-27 4:54 UTC (permalink / raw)
To: Zhang Rui; +Cc: linux-acpi, rebort.moore, astarikovskiy
On Thu, 2007-09-27 at 11:30 +0800, Zhang Rui wrote:
> Hi, all,
>
> I found a bug that linux/acpi may execute notify handler that
> has been removed.
>
> When a system notify(0~0x7f) is received, linux/acpi will
> first invoke the generic system notify handler (acpi_bus_notify)
> and then invoke the per-device notify handler if present.
>
> In my case, I add some code in acpi_bus_notify for battery
> hotplug support, so that the generic system notify handler will
> remove the battery device, including the per-device notify handler
> acpi_battery_notify() when receiving notification
> ACPI_NOTIFY_EJECT_REQUEST.
> But linux/acpi invokes the per-device notify handler soon and
> this breaks the system.
>
> Further more, device hot-removal is not the only case to encounter
> this bug. For example, linux/acpi receives a notification and adds it
> in the workqueue, and then the driver(notify handler) is removed
> before kacpid_notify invoke it...
For the non-hotplug case, adding a flush work queue just after notify
handler is removed should be ok.
Thanks,
Shaohua
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Bug: linux/acpi may execute notify handler that has been removed
2007-09-27 4:53 ` Alexey Starikovskiy
@ 2007-09-27 5:03 ` Zhang Rui
0 siblings, 0 replies; 8+ messages in thread
From: Zhang Rui @ 2007-09-27 5:03 UTC (permalink / raw)
To: Alexey Starikovskiy; +Cc: linux-acpi, rebort.moore
[-- Attachment #1: Type: text/plain, Size: 212 bytes --]
On Thu, 2007-09-27 at 12:53 +0800, Alexey Starikovskiy wrote:
> Zhang Rui wrote:
> > Attachment is the patch for battery hotplug support.
> There is it?
Oops, the battery hotplug patch is attached.
Thanks,
Rui
[-- Attachment #2: patch-battery-hotplug-support --]
[-- Type: message/rfc822, Size: 8030 bytes --]
From: Zhang Rui <rui.zhang@intel.com>
Subject: add battery hotplug support
Date: Thu, 27 Sep 2007 13:03:49 +0800
Message-ID: <1190869429.4129.1.camel@acpi-hp.sh.intel.com>
add battery hotplug support for ACPI battery driver.
http://bugzilla.kernel.org/show_bug.cgi?id=2884
Signed-off-by: Zhang Rui <rui.zhang@intel.com>
---
drivers/acpi/bus.c | 30 ++++++++++-
drivers/acpi/scan.c | 121 +++++++++++++++++++++++++++++++++++++++++++-----
include/acpi/acpi_bus.h | 2
3 files changed, 139 insertions(+), 14 deletions(-)
Index: linux-2.6/drivers/acpi/scan.c
===================================================================
--- linux-2.6.orig/drivers/acpi/scan.c
+++ linux-2.6/drivers/acpi/scan.c
@@ -86,22 +86,53 @@ acpi_device_modalias_show(struct device
}
static DEVICE_ATTR(modalias, 0444, acpi_device_modalias_show, NULL);
-static int acpi_eject_operation(acpi_handle handle, int lockable)
+static acpi_status
+acpi_bus_insert_device(acpi_handle handle)
+{
+ struct acpi_object_list arg_list;
+ union acpi_object arg;
+ acpi_status status;
+
+ arg_list.count = 1;
+ arg_list.pointer = &arg;
+ arg.type = ACPI_TYPE_INTEGER;
+ arg.integer.value = 1;
+ status = acpi_evaluate_object(handle, "_LCK", &arg_list, NULL);
+ if (ACPI_FAILURE(status) && status != AE_NOT_FOUND)
+ ACPI_DEBUG_PRINT((ACPI_DB_WARN,
+ "Locking device failed\n"));
+
+ /* power on device */
+ status = acpi_evaluate_object(handle, "_PS0", NULL, NULL);
+ if (ACPI_FAILURE(status) && status != AE_NOT_FOUND)
+ ACPI_DEBUG_PRINT((ACPI_DB_WARN,
+ "Power-on device failed\n"));
+
+ return AE_OK;
+}
+
+static acpi_status
+acpi_bus_eject_device(acpi_handle handle, int lockable)
{
struct acpi_object_list arg_list;
union acpi_object arg;
acpi_status status = AE_OK;
- /*
- * TBD: evaluate _PS3?
- */
+ /* power off device */
+ status = acpi_evaluate_object(handle, "_PS3", NULL, NULL);
+ if (ACPI_FAILURE(status) && status != AE_NOT_FOUND)
+ ACPI_DEBUG_PRINT((ACPI_DB_WARN,
+ "Power-off device failed\n"));
if (lockable) {
arg_list.count = 1;
arg_list.pointer = &arg;
arg.type = ACPI_TYPE_INTEGER;
arg.integer.value = 0;
- acpi_evaluate_object(handle, "_LCK", &arg_list, NULL);
+ status = acpi_evaluate_object(handle, "_LCK", &arg_list, NULL);
+ if (ACPI_FAILURE(status))
+ ACPI_DEBUG_PRINT((ACPI_DB_WARN,
+ "Unlocking device failed\n"));
}
arg_list.count = 1;
@@ -112,13 +143,12 @@ static int acpi_eject_operation(acpi_han
/*
* TBD: _EJD support.
*/
-
status = acpi_evaluate_object(handle, "_EJ0", &arg_list, NULL);
- if (ACPI_FAILURE(status)) {
- return (-ENODEV);
- }
+ if (ACPI_FAILURE(status) && status != AE_NOT_FOUND)
+ ACPI_DEBUG_PRINT((ACPI_DB_WARN,
+ "Ejecting device failed\n"));
- return (0);
+ return 0;
}
static ssize_t
@@ -154,7 +184,7 @@ acpi_eject_store(struct device *d, struc
result = acpi_bus_trim(acpi_device, 1);
if (!result)
- result = acpi_eject_operation(handle, islockable);
+ result = acpi_bus_eject_device(handle, islockable);
if (result) {
ret = -EBUSY;
@@ -491,6 +521,70 @@ static void acpi_device_unregister(struc
device_unregister(&device->dev);
}
+int acpi_bus_hot_insert_device(acpi_handle handle)
+{
+ acpi_handle phandle;
+ struct acpi_device *pdev = NULL;
+ struct acpi_device *device = NULL;
+ struct acpi_device_status sta;
+
+ ACPI_DEBUG_PRINT((ACPI_DB_INFO,
+ "Hot-inserting device...\n"));
+
+ if (acpi_evaluate_integer(handle, "_STA", NULL,
+ (unsigned long *)&sta) ||
+ !sta.present) {
+ ACPI_DEBUG_PRINT((ACPI_DB_ERROR,
+ "Device is not present\n"));
+ return -ENODEV;
+ }
+
+ if (acpi_get_parent(handle, &phandle)) {
+ ACPI_DEBUG_PRINT((ACPI_DB_ERROR,
+ "Can't get device's parent\n"));
+ return -ENODEV;
+ }
+
+ if (acpi_bus_get_device(phandle, &pdev)) {
+ ACPI_DEBUG_PRINT((ACPI_DB_ERROR,
+ "Device's parrent isn't present\n"));
+ return -ENODEV;
+ }
+
+ acpi_bus_insert_device(handle);
+
+ if (acpi_bus_add(&device, pdev, handle, ACPI_BUS_TYPE_DEVICE)) {
+ ACPI_DEBUG_PRINT((ACPI_DB_ERROR,
+ "Hot-inserting device failed\n"));
+ return -ENODEV;
+ }
+
+ return 0;
+}
+EXPORT_SYMBOL(acpi_bus_hot_insert_device);
+
+int acpi_bus_hot_remove_device(struct acpi_device *device)
+{
+ int ret;
+ acpi_status status;
+ acpi_handle handle = device->handle;
+ int lockable = device->flags.lockable;
+
+ ACPI_DEBUG_PRINT((ACPI_DB_INFO,
+ "Hot-removing device %s...\n", device->dev.bus_id));
+
+ ret = acpi_bus_trim(device, 1);
+ if (ret) {
+ ACPI_DEBUG_PRINT((ACPI_DB_ERROR,
+ "Removing device failed\n"));
+ return ret;
+ }
+
+ status = acpi_bus_eject_device(handle, lockable);
+
+ return 0;
+}
+EXPORT_SYMBOL(acpi_bus_hot_remove_device);
/* --------------------------------------------------------------------------
Driver Management
-------------------------------------------------------------------------- */
@@ -1397,6 +1491,11 @@ int acpi_bus_trim(struct acpi_device *st
if (ACPI_FAILURE(status)) {
continue;
}
+
+ if (type != ACPI_TYPE_DEVICE && type != ACPI_TYPE_PROCESSOR
+ && type != ACPI_TYPE_THERMAL && type != ACPI_TYPE_POWER)
+ continue;
+
/*
* If there is a device corresponding to chandle then
* parse it (depth-first).
Index: linux-2.6/include/acpi/acpi_bus.h
===================================================================
--- linux-2.6.orig/include/acpi/acpi_bus.h
+++ linux-2.6/include/acpi/acpi_bus.h
@@ -338,6 +338,8 @@ int acpi_bus_receive_event(struct acpi_b
static inline int acpi_bus_generate_proc_event(struct acpi_device *device, u8 type, int data)
{ return 0; }
#endif
+int acpi_bus_hot_insert_device(acpi_handle);
+int acpi_bus_hot_remove_device(struct acpi_device *);
int acpi_bus_register_driver(struct acpi_driver *driver);
void acpi_bus_unregister_driver(struct acpi_driver *driver);
int acpi_bus_add(struct acpi_device **child, struct acpi_device *parent,
Index: linux-2.6/drivers/acpi/bus.c
===================================================================
--- linux-2.6.orig/drivers/acpi/bus.c
+++ linux-2.6/drivers/acpi/bus.c
@@ -444,6 +444,7 @@ static int acpi_bus_check_scope(struct a
return 0;
}
+#define ACPI_BATTERY_HID "PNP0C0A"
/**
* acpi_bus_notify
* ---------------
@@ -454,8 +455,8 @@ static void acpi_bus_notify(acpi_handle
int result = 0;
struct acpi_device *device = NULL;
-
- if (acpi_bus_get_device(handle, &device))
+ if (acpi_bus_get_device(handle, &device) &&
+ type != ACPI_NOTIFY_DEVICE_CHECK)
return;
switch (type) {
@@ -475,7 +476,26 @@ static void acpi_bus_notify(acpi_handle
ACPI_DEBUG_PRINT((ACPI_DB_INFO,
"Received DEVICE CHECK notification for device [%s]\n",
device->pnp.bus_id));
- result = acpi_bus_check_device(device, NULL);
+ if (device)
+ result = acpi_bus_check_device(device, NULL);
+ else {
+ /*
+ * device hotplug support
+ * we only support battery hotplug for now
+ */
+ struct acpi_buffer buffer = {ACPI_ALLOCATE_BUFFER, NULL};
+ struct acpi_device_info *info;
+ acpi_status status;
+
+ status = acpi_get_object_info(handle, &buffer);
+ if (ACPI_FAILURE(status))
+ return;
+
+ info = buffer.pointer;
+ if (info->valid & ACPI_VALID_HID)
+ if (!strcmp(info->hardware_id.value, ACPI_BATTERY_HID))
+ result = acpi_bus_hot_insert_device(handle);
+ }
/*
* TBD: We'll need to outsource certain events to non-ACPI
* drivers via the device manager (device.c).
@@ -493,6 +513,10 @@ static void acpi_bus_notify(acpi_handle
ACPI_DEBUG_PRINT((ACPI_DB_INFO,
"Received EJECT REQUEST notification for device [%s]\n",
device->pnp.bus_id));
+ /* hot removing battery device */
+ if (!strcmp(device->pnp.hardware_id, ACPI_BATTERY_HID))
+ result = acpi_bus_hot_remove_device(device);
+
/* TBD */
break;
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Bug: linux/acpi may execute notify handler that has been removed
2007-09-27 6:24 ` Alexey Starikovskiy
@ 2007-09-27 6:10 ` Shaohua Li
2007-09-27 6:33 ` Alexey Starikovskiy
0 siblings, 1 reply; 8+ messages in thread
From: Shaohua Li @ 2007-09-27 6:10 UTC (permalink / raw)
To: Alexey Starikovskiy; +Cc: Zhang Rui, linux-acpi, Moore, Robert
On Thu, 2007-09-27 at 10:24 +0400, Alexey Starikovskiy wrote:
> Shaohua Li wrote:
> > On Thu, 2007-09-27 at 11:30 +0800, Zhang Rui wrote:
> >> Hi, all,
> >>
> >> I found a bug that linux/acpi may execute notify handler that
> >> has been removed.
> >>
> >> When a system notify(0~0x7f) is received, linux/acpi will
> >> first invoke the generic system notify handler (acpi_bus_notify)
> >> and then invoke the per-device notify handler if present.
> >>
> >> In my case, I add some code in acpi_bus_notify for battery
> >> hotplug support, so that the generic system notify handler will
> >> remove the battery device, including the per-device notify handler
> >> acpi_battery_notify() when receiving notification
> >> ACPI_NOTIFY_EJECT_REQUEST.
> >> But linux/acpi invokes the per-device notify handler soon and
> >> this breaks the system.
> >>
> >> Further more, device hot-removal is not the only case to encounter
> >> this bug. For example, linux/acpi receives a notification and adds it
> >> in the workqueue, and then the driver(notify handler) is removed
> >> before kacpid_notify invoke it...
> > For the non-hotplug case, adding a flush work queue just after notify
> > handler is removed should be ok.
> I think, the real problem with ACPI hotplug is that we know which devices might appear --
> they are all enumerated in DSDT, but we don't add them until they appear.
> If we do .add for all devices in DSDT, and then just .start/.stop them as they appear/disappear,
> we will have to do much less work, and avoid a problem described above...
If a device is not present, you can't access any method of it.
The real problem here is ACPICA will call some drivers routines
(notification handler), but doesn't get a reference count of the driver
module.
Thanks,
Shaohua
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Bug: linux/acpi may execute notify handler that has been removed
2007-09-27 4:54 ` Shaohua Li
@ 2007-09-27 6:24 ` Alexey Starikovskiy
2007-09-27 6:10 ` Shaohua Li
0 siblings, 1 reply; 8+ messages in thread
From: Alexey Starikovskiy @ 2007-09-27 6:24 UTC (permalink / raw)
To: Shaohua Li; +Cc: Zhang Rui, linux-acpi, Moore, Robert
Shaohua Li wrote:
> On Thu, 2007-09-27 at 11:30 +0800, Zhang Rui wrote:
>> Hi, all,
>>
>> I found a bug that linux/acpi may execute notify handler that
>> has been removed.
>>
>> When a system notify(0~0x7f) is received, linux/acpi will
>> first invoke the generic system notify handler (acpi_bus_notify)
>> and then invoke the per-device notify handler if present.
>>
>> In my case, I add some code in acpi_bus_notify for battery
>> hotplug support, so that the generic system notify handler will
>> remove the battery device, including the per-device notify handler
>> acpi_battery_notify() when receiving notification
>> ACPI_NOTIFY_EJECT_REQUEST.
>> But linux/acpi invokes the per-device notify handler soon and
>> this breaks the system.
>>
>> Further more, device hot-removal is not the only case to encounter
>> this bug. For example, linux/acpi receives a notification and adds it
>> in the workqueue, and then the driver(notify handler) is removed
>> before kacpid_notify invoke it...
> For the non-hotplug case, adding a flush work queue just after notify
> handler is removed should be ok.
I think, the real problem with ACPI hotplug is that we know which devices might appear --
they are all enumerated in DSDT, but we don't add them until they appear.
If we do .add for all devices in DSDT, and then just .start/.stop them as they appear/disappear,
we will have to do much less work, and avoid a problem described above...
Regards,
Alex.
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Bug: linux/acpi may execute notify handler that has been removed
2007-09-27 6:10 ` Shaohua Li
@ 2007-09-27 6:33 ` Alexey Starikovskiy
2007-09-28 3:37 ` Zhang Rui
0 siblings, 1 reply; 8+ messages in thread
From: Alexey Starikovskiy @ 2007-09-27 6:33 UTC (permalink / raw)
To: Shaohua Li; +Cc: Zhang Rui, linux-acpi, Moore, Robert
Shaohua Li wrote:
> On Thu, 2007-09-27 at 10:24 +0400, Alexey Starikovskiy wrote:
>> Shaohua Li wrote:
>>> On Thu, 2007-09-27 at 11:30 +0800, Zhang Rui wrote:
>>>> Hi, all,
>>>>
>>>> I found a bug that linux/acpi may execute notify handler that
>>>> has been removed.
>>>>
>>>> When a system notify(0~0x7f) is received, linux/acpi will
>>>> first invoke the generic system notify handler (acpi_bus_notify)
>>>> and then invoke the per-device notify handler if present.
>>>>
>>>> In my case, I add some code in acpi_bus_notify for battery
>>>> hotplug support, so that the generic system notify handler will
>>>> remove the battery device, including the per-device notify handler
>>>> acpi_battery_notify() when receiving notification
>>>> ACPI_NOTIFY_EJECT_REQUEST.
>>>> But linux/acpi invokes the per-device notify handler soon and
>>>> this breaks the system.
>>>>
>>>> Further more, device hot-removal is not the only case to encounter
>>>> this bug. For example, linux/acpi receives a notification and adds it
>>>> in the workqueue, and then the driver(notify handler) is removed
>>>> before kacpid_notify invoke it...
>>> For the non-hotplug case, adding a flush work queue just after notify
>>> handler is removed should be ok.
>> I think, the real problem with ACPI hotplug is that we know which devices might appear --
>> they are all enumerated in DSDT, but we don't add them until they appear.
>> If we do .add for all devices in DSDT, and then just .start/.stop them as they appear/disappear,
>> we will have to do much less work, and avoid a problem described above...
> If a device is not present, you can't access any method of it.
What is because you didn't call .add() yet, or already called .remove(), yes?
>
> The real problem here is ACPICA will call some drivers routines
> (notification handler), but doesn't get a reference count of the driver
> module.
We just should be able to load drivers for declared, but physically absent devices.
>
> Thanks,
> Shaohua
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Bug: linux/acpi may execute notify handler that has been removed
2007-09-27 6:33 ` Alexey Starikovskiy
@ 2007-09-28 3:37 ` Zhang Rui
0 siblings, 0 replies; 8+ messages in thread
From: Zhang Rui @ 2007-09-28 3:37 UTC (permalink / raw)
To: Alexey Starikovskiy; +Cc: Li, Shaohua, linux-acpi, Moore, Robert
On Thu, 2007-09-27 at 14:33 +0800, Alexey Starikovskiy wrote:
> Shaohua Li wrote:
> > On Thu, 2007-09-27 at 10:24 +0400, Alexey Starikovskiy wrote:
> >> Shaohua Li wrote:
> >>> On Thu, 2007-09-27 at 11:30 +0800, Zhang Rui wrote:
> >>>> Hi, all,
> >>>>
> >>>> I found a bug that linux/acpi may execute notify handler that
> >>>> has been removed.
> >>>>
> >>>> When a system notify(0~0x7f) is received, linux/acpi will
> >>>> first invoke the generic system notify handler (acpi_bus_notify)
> >>>> and then invoke the per-device notify handler if present.
> >>>>
> >>>> In my case, I add some code in acpi_bus_notify for battery
> >>>> hotplug support, so that the generic system notify handler will
> >>>> remove the battery device, including the per-device notify
> handler
> >>>> acpi_battery_notify() when receiving notification
> >>>> ACPI_NOTIFY_EJECT_REQUEST.
> >>>> But linux/acpi invokes the per-device notify handler soon and
> >>>> this breaks the system.
> >>>>
> >>>> Further more, device hot-removal is not the only case to
> encounter
> >>>> this bug. For example, linux/acpi receives a notification and
> adds it
> >>>> in the workqueue, and then the driver(notify handler) is removed
> >>>> before kacpid_notify invoke it...
> >>> For the non-hotplug case, adding a flush work queue just after
> notify
> >>> handler is removed should be ok.
> >> I think, the real problem with ACPI hotplug is that we know which
> devices might appear --
> >> they are all enumerated in DSDT, but we don't add them until they
> appear.
> >> If we do .add for all devices in DSDT, and then just .start/.stop
> them as they appear/disappear,
> >> we will have to do much less work, and avoid a problem described
> above...
> > If a device is not present, you can't access any method of it.
> What is because you didn't call .add() yet, or already
> called .remove(), yes?
> >
Hi, Alexey, sorry that I'm not quite clear about what you mean above.
IMO, many methods are evaluated to set all kinds of flags during the
acpi_scan_init(), which may be invalid if the device isn't
physically present.
> > The real problem here is ACPICA will call some drivers routines
> > (notification handler), but doesn't get a reference count of the
> driver
> > module.
> We just should be able to load drivers for declared, but physically
> absent devices.
> >
For the hot-plug case, we can move all the code to the per-device notify
handler, which is called in the last minute.
Then in the generic notify handler, we need to send a uevent to load
the driver dynamically when a new device is inserted.
Or we can add the hot_add code in generic notify handler and move the
hot_removal code to the per-device notify handler, this is much easier
while it's a kind of ugly.
Thanks,
Rui
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2007-09-28 3:31 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2007-09-27 3:30 Bug: linux/acpi may execute notify handler that has been removed Zhang Rui
2007-09-27 4:53 ` Alexey Starikovskiy
2007-09-27 5:03 ` Zhang Rui
2007-09-27 4:54 ` Shaohua Li
2007-09-27 6:24 ` Alexey Starikovskiy
2007-09-27 6:10 ` Shaohua Li
2007-09-27 6:33 ` Alexey Starikovskiy
2007-09-28 3:37 ` Zhang Rui
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).