1. 2013-06-29 Re: [PATCH] gnumach/device/ds_routines.h (device_page hurd-bug Samuel Thibault 2. 2013-06-29 Re: [PATCH] gnumach/device/ds_routines.h (device_page hurd-bug Marin Ramesa 3. 2013-06-29 Re: [PATCH] gnumach/device/ds_routines.h (device_page hurd-bug Samuel Thibault 4. 2013-06-28 [PATCH] gnumach/device/ds_routines.h (device_pager_se hurd-bug Marin Ramesa