int xc_flask_del_device(xc_interface *xc_handle, unsigned long device)
{
char arg[32];
snprintf(arg, 32, "%lu", device);
return xc_flask_del(xc_handle, OCON_DEVICE_STR, arg);
}
int xc_flask_del_iomem(xc_interface *xc_handle, unsigned long low, unsigned long high)
{
char arg[64];
snprintf(arg, 64, "%lu %lu", low, high);
return xc_flask_del(xc_handle, OCON_IOMEM_STR, arg);
}
int xc_flask_del_pirq(xc_interface *xc_handle, unsigned int pirq)
{
char arg[16];
snprintf(arg, 16, "%u", pirq);
return xc_flask_del(xc_handle, OCON_PIRQ_STR, arg);
}
int xc_flask_del_device(xc_interface *xch, unsigned long device)
{
return xc_flask_del(xch, OCON_DEVICE, device, device);
}
int xc_flask_del_iomem(xc_interface *xch, unsigned long low, unsigned long high)
{
return xc_flask_del(xch, OCON_IOMEM, low, high);
}
int xc_flask_del_ioport(xc_interface *xch, unsigned long low, unsigned long high)
{
return xc_flask_del(xch, OCON_IOPORT, low, high);
}
int xc_flask_del_pirq(xc_interface *xch, unsigned int pirq)
{
return xc_flask_del(xch, OCON_PIRQ, pirq, pirq);
}
