e piu’ mi innamoro del kernel 😀

/** pcmcia_request_irq
 *
 * Request_irq() reserves an irq for this client.
 *
 * Also, since Linux only reserves irq's when they are actually
 * hooked, we don't guarantee that an irq will still be available
 * when the configuration is locked.  Now that I think about it,
 * there might be a way to fix this using a dummy handler.
 */

tratto da drivers/pcmcia/pcmcia_resource.c +709

k… ora capisco tutto l’astio che Ale ha per l’architettura x86…