/* When this is called, pnpbios functions are assumed to work and the pnpbios_dont_use_current_config flag should already have been set to the appropriate value  */
int __init pnpbios_proc_init(void)
/* When this is called, pnpbios functions are assumed to work and the pnpbios_dont_use_current_config flag should already have been set to the appropriate value  */
int __init pnpbios_proc_init(void)
{
	proc_pnp = proc_mkdir("bus/pnp", NULL);
	if (!proc_pnp)
		return -EIO;
	proc_pnp_boot = proc_mkdir("boot", proc_pnp);
	if (!proc_pnp_boot)
		return -EIO;
	proc_create("devices", 0, proc_pnp, &pnp_devices_proc_fops);
	proc_create("configuration_info", 0, proc_pnp, &pnpconfig_proc_fops);
	proc_create("escd_info", 0, proc_pnp, &escd_info_proc_fops);
	proc_create("escd", S_IRUSR, proc_pnp, &escd_proc_fops);
	proc_create("legacy_device_resources", 0, proc_pnp, &pnp_legacyres_proc_fops);
	return 0;
}