/* Allocated Resources (required) end tag -> Resource Configuration Options (optional) end tag -> Compitable Device IDs (optional) final end tag -> Allocated Resources  */
static void pnpbios_parse_allocated_ioresource(struct pnp_dev *dev, int start, int len)
/* Allocated Resources (required) end tag -> Resource Configuration Options (optional) end tag -> Compitable Device IDs (optional) final end tag -> Allocated Resources  */
static void pnpbios_parse_allocated_ioresource(struct pnp_dev *dev, int start, int len)
{
	int flags = 0;
	int end = start + len - 1;
	if (len <= 0 || end >= 0x10003)
		flags |= IORESOURCE_DISABLED;
	pnp_add_io_resource(dev, start, end, flags);
}