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); }