1 // SPDX-License-Identifier: GPL-2.0-only
3 * Copyright 2007-2010 Red Hat, Inc.
4 * by Peter Jones <pjones@redhat.com>
5 * Copyright 2008 IBM, Inc.
6 * by Konrad Rzeszutek <konradr@linux.vnet.ibm.com>
8 * by Konrad Rzeszutek <ketuzsezr@darnok.org>
10 * This code exposes the iSCSI Boot Format Table to userland via sysfs.
14 * 06 Jan 2010 - Peter Jones <pjones@redhat.com>
15 * New changelog entries are in the git log from now on. Not here.
17 * 14 Mar 2008 - Konrad Rzeszutek <ketuzsezr@darnok.org>
18 * Updated comments and copyrights. (v0.4.9)
20 * 11 Feb 2008 - Konrad Rzeszutek <konradr@linux.vnet.ibm.com>
21 * Converted to using ibft_addr. (v0.4.8)
23 * 8 Feb 2008 - Konrad Rzeszutek <konradr@linux.vnet.ibm.com>
24 * Combined two functions in one: reserve_ibft_region. (v0.4.7)
26 * 30 Jan 2008 - Konrad Rzeszutek <konradr@linux.vnet.ibm.com>
27 * Added logic to handle IPv6 addresses. (v0.4.6)
29 * 25 Jan 2008 - Konrad Rzeszutek <konradr@linux.vnet.ibm.com>
30 * Added logic to handle badly not-to-spec iBFT. (v0.4.5)
32 * 4 Jan 2008 - Konrad Rzeszutek <konradr@linux.vnet.ibm.com>
33 * Added __init to function declarations. (v0.4.4)
35 * 21 Dec 2007 - Konrad Rzeszutek <konradr@linux.vnet.ibm.com>
36 * Updated kobject registration, combined unregister functions in one
37 * and code and style cleanup. (v0.4.3)
39 * 5 Dec 2007 - Konrad Rzeszutek <konradr@linux.vnet.ibm.com>
40 * Added end-markers to enums and re-organized kobject registration. (v0.4.2)
42 * 4 Dec 2007 - Konrad Rzeszutek <konradr@linux.vnet.ibm.com>
43 * Created 'device' sysfs link to the NIC and style cleanup. (v0.4.1)
45 * 28 Nov 2007 - Konrad Rzeszutek <konradr@linux.vnet.ibm.com>
46 * Added sysfs-ibft documentation, moved 'find_ibft' function to
47 * in its own file and added text attributes for every struct field. (v0.4)
49 * 21 Nov 2007 - Konrad Rzeszutek <konradr@linux.vnet.ibm.com>
50 * Added text attributes emulating OpenFirmware /proc/device-tree naming.
51 * Removed binary /sysfs interface (v0.3)
53 * 29 Aug 2007 - Konrad Rzeszutek <konradr@linux.vnet.ibm.com>
54 * Added functionality in setup.c to reserve iBFT region. (v0.2)
56 * 27 Aug 2007 - Konrad Rzeszutek <konradr@linux.vnet.ibm.com>
57 * First version exposing iBFT data via a binary /sysfs. (v0.1)
61 #include <linux/blkdev.h>
62 #include <linux/capability.h>
63 #include <linux/ctype.h>
64 #include <linux/device.h>
65 #include <linux/err.h>
66 #include <linux/init.h>
67 #include <linux/iscsi_ibft.h>
68 #include <linux/limits.h>
69 #include <linux/module.h>
70 #include <linux/pci.h>
71 #include <linux/slab.h>
72 #include <linux/stat.h>
73 #include <linux/string.h>
74 #include <linux/types.h>
75 #include <linux/acpi.h>
76 #include <linux/iscsi_boot_sysfs.h>
78 #define IBFT_ISCSI_VERSION "0.5.0"
79 #define IBFT_ISCSI_DATE "2010-Feb-25"
81 MODULE_AUTHOR("Peter Jones <pjones@redhat.com> and "
82 "Konrad Rzeszutek <ketuzsezr@darnok.org>");
83 MODULE_DESCRIPTION("sysfs interface to BIOS iBFT information");
84 MODULE_LICENSE("GPL");
85 MODULE_VERSION(IBFT_ISCSI_VERSION
);
87 #ifndef CONFIG_ISCSI_IBFT_FIND
88 struct acpi_table_ibft
*ibft_addr
;
97 } __attribute__((__packed__
));
108 } __attribute__((__packed__
));
110 struct ibft_initiator
{
112 char isns_server
[16];
114 char pri_radius_server
[16];
115 char sec_radius_server
[16];
116 u16 initiator_name_len
;
117 u16 initiator_name_off
;
118 } __attribute__((__packed__
));
123 u8 subnet_mask_prefix
;
126 char primary_dns
[16];
127 char secondary_dns
[16];
134 } __attribute__((__packed__
));
149 u16 rev_chap_name_len
;
150 u16 rev_chap_name_off
;
151 u16 rev_chap_secret_len
;
152 u16 rev_chap_secret_off
;
153 } __attribute__((__packed__
));
156 * The kobject different types and its names.
160 id_reserved
= 0, /* We don't support. */
161 id_control
= 1, /* Should show up only once and is not exported. */
165 id_extensions
= 5, /* We don't support. */
170 * The kobject and attribute structures.
173 struct ibft_kobject
{
174 struct acpi_table_ibft
*header
;
176 struct ibft_initiator
*initiator
;
177 struct ibft_nic
*nic
;
178 struct ibft_tgt
*tgt
;
179 struct ibft_hdr
*hdr
;
183 static struct iscsi_boot_kset
*boot_kset
;
185 /* fully null address */
186 static const char nulls
[16];
188 /* IPv4-mapped IPv6 ::ffff:0.0.0.0 */
189 static const char mapped_nulls
[16] = { 0x00, 0x00, 0x00, 0x00,
190 0x00, 0x00, 0x00, 0x00,
191 0x00, 0x00, 0xff, 0xff,
192 0x00, 0x00, 0x00, 0x00 };
194 static int address_not_null(u8
*ip
)
196 return (memcmp(ip
, nulls
, 16) && memcmp(ip
, mapped_nulls
, 16));
200 * Helper functions to parse data properly.
202 static ssize_t
sprintf_ipaddr(char *buf
, u8
*ip
)
206 if (ip
[0] == 0 && ip
[1] == 0 && ip
[2] == 0 && ip
[3] == 0 &&
207 ip
[4] == 0 && ip
[5] == 0 && ip
[6] == 0 && ip
[7] == 0 &&
208 ip
[8] == 0 && ip
[9] == 0 && ip
[10] == 0xff && ip
[11] == 0xff) {
212 str
+= sprintf(buf
, "%pI4", ip
+ 12);
217 str
+= sprintf(str
, "%pI6", ip
);
219 str
+= sprintf(str
, "\n");
223 static ssize_t
sprintf_string(char *str
, int len
, char *buf
)
225 return sprintf(str
, "%.*s\n", len
, buf
);
229 * Helper function to verify the IBFT header.
231 static int ibft_verify_hdr(char *t
, struct ibft_hdr
*hdr
, int id
, int length
)
234 printk(KERN_ERR
"iBFT error: We expected the %s " \
235 "field header.id to have %d but " \
236 "found %d instead!\n", t
, id
, hdr
->id
);
239 if (length
&& hdr
->length
!= length
) {
240 printk(KERN_ERR
"iBFT error: We expected the %s " \
241 "field header.length to have %d but " \
242 "found %d instead!\n", t
, length
, hdr
->length
);
250 * Routines for parsing the iBFT data to be human readable.
252 static ssize_t
ibft_attr_show_initiator(void *data
, int type
, char *buf
)
254 struct ibft_kobject
*entry
= data
;
255 struct ibft_initiator
*initiator
= entry
->initiator
;
256 void *ibft_loc
= entry
->header
;
263 case ISCSI_BOOT_INI_INDEX
:
264 str
+= sprintf(str
, "%d\n", initiator
->hdr
.index
);
266 case ISCSI_BOOT_INI_FLAGS
:
267 str
+= sprintf(str
, "%d\n", initiator
->hdr
.flags
);
269 case ISCSI_BOOT_INI_ISNS_SERVER
:
270 str
+= sprintf_ipaddr(str
, initiator
->isns_server
);
272 case ISCSI_BOOT_INI_SLP_SERVER
:
273 str
+= sprintf_ipaddr(str
, initiator
->slp_server
);
275 case ISCSI_BOOT_INI_PRI_RADIUS_SERVER
:
276 str
+= sprintf_ipaddr(str
, initiator
->pri_radius_server
);
278 case ISCSI_BOOT_INI_SEC_RADIUS_SERVER
:
279 str
+= sprintf_ipaddr(str
, initiator
->sec_radius_server
);
281 case ISCSI_BOOT_INI_INITIATOR_NAME
:
282 str
+= sprintf_string(str
, initiator
->initiator_name_len
,
284 initiator
->initiator_name_off
);
293 static ssize_t
ibft_attr_show_nic(void *data
, int type
, char *buf
)
295 struct ibft_kobject
*entry
= data
;
296 struct ibft_nic
*nic
= entry
->nic
;
297 void *ibft_loc
= entry
->header
;
305 case ISCSI_BOOT_ETH_INDEX
:
306 str
+= sprintf(str
, "%d\n", nic
->hdr
.index
);
308 case ISCSI_BOOT_ETH_FLAGS
:
309 str
+= sprintf(str
, "%d\n", nic
->hdr
.flags
);
311 case ISCSI_BOOT_ETH_IP_ADDR
:
312 str
+= sprintf_ipaddr(str
, nic
->ip_addr
);
314 case ISCSI_BOOT_ETH_SUBNET_MASK
:
315 val
= cpu_to_be32(~((1 << (32-nic
->subnet_mask_prefix
))-1));
316 str
+= sprintf(str
, "%pI4", &val
);
318 case ISCSI_BOOT_ETH_PREFIX_LEN
:
319 str
+= sprintf(str
, "%d\n", nic
->subnet_mask_prefix
);
321 case ISCSI_BOOT_ETH_ORIGIN
:
322 str
+= sprintf(str
, "%d\n", nic
->origin
);
324 case ISCSI_BOOT_ETH_GATEWAY
:
325 str
+= sprintf_ipaddr(str
, nic
->gateway
);
327 case ISCSI_BOOT_ETH_PRIMARY_DNS
:
328 str
+= sprintf_ipaddr(str
, nic
->primary_dns
);
330 case ISCSI_BOOT_ETH_SECONDARY_DNS
:
331 str
+= sprintf_ipaddr(str
, nic
->secondary_dns
);
333 case ISCSI_BOOT_ETH_DHCP
:
334 str
+= sprintf_ipaddr(str
, nic
->dhcp
);
336 case ISCSI_BOOT_ETH_VLAN
:
337 str
+= sprintf(str
, "%d\n", nic
->vlan
);
339 case ISCSI_BOOT_ETH_MAC
:
340 str
+= sprintf(str
, "%pM\n", nic
->mac
);
342 case ISCSI_BOOT_ETH_HOSTNAME
:
343 str
+= sprintf_string(str
, nic
->hostname_len
,
344 (char *)ibft_loc
+ nic
->hostname_off
);
353 static ssize_t
ibft_attr_show_target(void *data
, int type
, char *buf
)
355 struct ibft_kobject
*entry
= data
;
356 struct ibft_tgt
*tgt
= entry
->tgt
;
357 void *ibft_loc
= entry
->header
;
365 case ISCSI_BOOT_TGT_INDEX
:
366 str
+= sprintf(str
, "%d\n", tgt
->hdr
.index
);
368 case ISCSI_BOOT_TGT_FLAGS
:
369 str
+= sprintf(str
, "%d\n", tgt
->hdr
.flags
);
371 case ISCSI_BOOT_TGT_IP_ADDR
:
372 str
+= sprintf_ipaddr(str
, tgt
->ip_addr
);
374 case ISCSI_BOOT_TGT_PORT
:
375 str
+= sprintf(str
, "%d\n", tgt
->port
);
377 case ISCSI_BOOT_TGT_LUN
:
378 for (i
= 0; i
< 8; i
++)
379 str
+= sprintf(str
, "%x", (u8
)tgt
->lun
[i
]);
380 str
+= sprintf(str
, "\n");
382 case ISCSI_BOOT_TGT_NIC_ASSOC
:
383 str
+= sprintf(str
, "%d\n", tgt
->nic_assoc
);
385 case ISCSI_BOOT_TGT_CHAP_TYPE
:
386 str
+= sprintf(str
, "%d\n", tgt
->chap_type
);
388 case ISCSI_BOOT_TGT_NAME
:
389 str
+= sprintf_string(str
, tgt
->tgt_name_len
,
390 (char *)ibft_loc
+ tgt
->tgt_name_off
);
392 case ISCSI_BOOT_TGT_CHAP_NAME
:
393 str
+= sprintf_string(str
, tgt
->chap_name_len
,
394 (char *)ibft_loc
+ tgt
->chap_name_off
);
396 case ISCSI_BOOT_TGT_CHAP_SECRET
:
397 str
+= sprintf_string(str
, tgt
->chap_secret_len
,
398 (char *)ibft_loc
+ tgt
->chap_secret_off
);
400 case ISCSI_BOOT_TGT_REV_CHAP_NAME
:
401 str
+= sprintf_string(str
, tgt
->rev_chap_name_len
,
403 tgt
->rev_chap_name_off
);
405 case ISCSI_BOOT_TGT_REV_CHAP_SECRET
:
406 str
+= sprintf_string(str
, tgt
->rev_chap_secret_len
,
408 tgt
->rev_chap_secret_off
);
417 static ssize_t
ibft_attr_show_acpitbl(void *data
, int type
, char *buf
)
419 struct ibft_kobject
*entry
= data
;
423 case ISCSI_BOOT_ACPITBL_SIGNATURE
:
424 str
+= sprintf_string(str
, ACPI_NAMESEG_SIZE
,
425 entry
->header
->header
.signature
);
427 case ISCSI_BOOT_ACPITBL_OEM_ID
:
428 str
+= sprintf_string(str
, ACPI_OEM_ID_SIZE
,
429 entry
->header
->header
.oem_id
);
431 case ISCSI_BOOT_ACPITBL_OEM_TABLE_ID
:
432 str
+= sprintf_string(str
, ACPI_OEM_TABLE_ID_SIZE
,
433 entry
->header
->header
.oem_table_id
);
442 static int __init
ibft_check_device(void)
448 len
= ibft_addr
->header
.length
;
450 /* Sanity checking of iBFT. */
451 if (ibft_addr
->header
.revision
!= 1) {
452 printk(KERN_ERR
"iBFT module supports only revision 1, " \
453 "while this is %d.\n",
454 ibft_addr
->header
.revision
);
457 for (pos
= (u8
*)ibft_addr
; pos
< (u8
*)ibft_addr
+ len
; pos
++)
461 printk(KERN_ERR
"iBFT has incorrect checksum (0x%x)!\n", csum
);
469 * Helper routiners to check to determine if the entry is valid
470 * in the proper iBFT structure.
472 static umode_t
ibft_check_nic_for(void *data
, int type
)
474 struct ibft_kobject
*entry
= data
;
475 struct ibft_nic
*nic
= entry
->nic
;
479 case ISCSI_BOOT_ETH_INDEX
:
480 case ISCSI_BOOT_ETH_FLAGS
:
483 case ISCSI_BOOT_ETH_IP_ADDR
:
484 if (address_not_null(nic
->ip_addr
))
487 case ISCSI_BOOT_ETH_PREFIX_LEN
:
488 case ISCSI_BOOT_ETH_SUBNET_MASK
:
489 if (nic
->subnet_mask_prefix
)
492 case ISCSI_BOOT_ETH_ORIGIN
:
495 case ISCSI_BOOT_ETH_GATEWAY
:
496 if (address_not_null(nic
->gateway
))
499 case ISCSI_BOOT_ETH_PRIMARY_DNS
:
500 if (address_not_null(nic
->primary_dns
))
503 case ISCSI_BOOT_ETH_SECONDARY_DNS
:
504 if (address_not_null(nic
->secondary_dns
))
507 case ISCSI_BOOT_ETH_DHCP
:
508 if (address_not_null(nic
->dhcp
))
511 case ISCSI_BOOT_ETH_VLAN
:
512 case ISCSI_BOOT_ETH_MAC
:
515 case ISCSI_BOOT_ETH_HOSTNAME
:
516 if (nic
->hostname_off
)
526 static umode_t __init
ibft_check_tgt_for(void *data
, int type
)
528 struct ibft_kobject
*entry
= data
;
529 struct ibft_tgt
*tgt
= entry
->tgt
;
533 case ISCSI_BOOT_TGT_INDEX
:
534 case ISCSI_BOOT_TGT_FLAGS
:
535 case ISCSI_BOOT_TGT_IP_ADDR
:
536 case ISCSI_BOOT_TGT_PORT
:
537 case ISCSI_BOOT_TGT_LUN
:
538 case ISCSI_BOOT_TGT_NIC_ASSOC
:
539 case ISCSI_BOOT_TGT_CHAP_TYPE
:
542 case ISCSI_BOOT_TGT_NAME
:
543 if (tgt
->tgt_name_len
)
546 case ISCSI_BOOT_TGT_CHAP_NAME
:
547 case ISCSI_BOOT_TGT_CHAP_SECRET
:
548 if (tgt
->chap_name_len
)
551 case ISCSI_BOOT_TGT_REV_CHAP_NAME
:
552 case ISCSI_BOOT_TGT_REV_CHAP_SECRET
:
553 if (tgt
->rev_chap_name_len
)
563 static umode_t __init
ibft_check_initiator_for(void *data
, int type
)
565 struct ibft_kobject
*entry
= data
;
566 struct ibft_initiator
*init
= entry
->initiator
;
570 case ISCSI_BOOT_INI_INDEX
:
571 case ISCSI_BOOT_INI_FLAGS
:
574 case ISCSI_BOOT_INI_ISNS_SERVER
:
575 if (address_not_null(init
->isns_server
))
578 case ISCSI_BOOT_INI_SLP_SERVER
:
579 if (address_not_null(init
->slp_server
))
582 case ISCSI_BOOT_INI_PRI_RADIUS_SERVER
:
583 if (address_not_null(init
->pri_radius_server
))
586 case ISCSI_BOOT_INI_SEC_RADIUS_SERVER
:
587 if (address_not_null(init
->sec_radius_server
))
590 case ISCSI_BOOT_INI_INITIATOR_NAME
:
591 if (init
->initiator_name_len
)
601 static umode_t __init
ibft_check_acpitbl_for(void *data
, int type
)
607 case ISCSI_BOOT_ACPITBL_SIGNATURE
:
608 case ISCSI_BOOT_ACPITBL_OEM_ID
:
609 case ISCSI_BOOT_ACPITBL_OEM_TABLE_ID
:
619 static void ibft_kobj_release(void *data
)
625 * Helper function for ibft_register_kobjects.
627 static int __init
ibft_create_kobject(struct acpi_table_ibft
*header
,
628 struct ibft_hdr
*hdr
)
630 struct iscsi_boot_kobj
*boot_kobj
= NULL
;
631 struct ibft_kobject
*ibft_kobj
= NULL
;
632 struct ibft_nic
*nic
= (struct ibft_nic
*)hdr
;
633 struct pci_dev
*pci_dev
;
636 ibft_kobj
= kzalloc(sizeof(*ibft_kobj
), GFP_KERNEL
);
640 ibft_kobj
->header
= header
;
641 ibft_kobj
->hdr
= hdr
;
645 rc
= ibft_verify_hdr("initiator", hdr
, id_initiator
,
646 sizeof(*ibft_kobj
->initiator
));
650 boot_kobj
= iscsi_boot_create_initiator(boot_kset
, hdr
->index
,
652 ibft_attr_show_initiator
,
653 ibft_check_initiator_for
,
661 rc
= ibft_verify_hdr("ethernet", hdr
, id_nic
,
662 sizeof(*ibft_kobj
->nic
));
666 boot_kobj
= iscsi_boot_create_ethernet(boot_kset
, hdr
->index
,
677 rc
= ibft_verify_hdr("target", hdr
, id_target
,
678 sizeof(*ibft_kobj
->tgt
));
682 boot_kobj
= iscsi_boot_create_target(boot_kset
, hdr
->index
,
684 ibft_attr_show_target
,
695 /* Fields which we don't support. Ignore them */
699 printk(KERN_ERR
"iBFT has unknown structure type (%d). " \
700 "Report this bug to %.6s!\n", hdr
->id
,
701 header
->header
.oem_id
);
707 /* Skip adding this kobject, but exit with non-fatal error. */
712 if (hdr
->id
== id_nic
) {
714 * We don't search for the device in other domains than
715 * zero. This is because on x86 platforms the BIOS
716 * executes only devices which are in domain 0. Furthermore, the
717 * iBFT spec doesn't have a domain id field :-(
719 pci_dev
= pci_get_domain_bus_and_slot(0,
720 (nic
->pci_bdf
& 0xff00) >> 8,
721 (nic
->pci_bdf
& 0xff));
723 rc
= sysfs_create_link(&boot_kobj
->kobj
,
724 &pci_dev
->dev
.kobj
, "device");
725 pci_dev_put(pci_dev
);
736 * Scan the IBFT table structure for the NIC and Target fields. When
737 * found add them on the passed-in list. We do not support the other
738 * fields at this point, so they are skipped.
740 static int __init
ibft_register_kobjects(struct acpi_table_ibft
*header
)
742 struct ibft_control
*control
= NULL
;
743 struct iscsi_boot_kobj
*boot_kobj
;
744 struct ibft_kobject
*ibft_kobj
;
750 control
= (void *)header
+ sizeof(*header
);
751 end
= (void *)control
+ control
->hdr
.length
;
752 eot_offset
= (void *)header
+ header
->header
.length
- (void *)control
;
753 rc
= ibft_verify_hdr("control", (struct ibft_hdr
*)control
, id_control
, 0);
755 /* iBFT table safety checking */
756 rc
|= ((control
->hdr
.index
) ? -ENODEV
: 0);
757 rc
|= ((control
->hdr
.length
< sizeof(*control
)) ? -ENODEV
: 0);
759 printk(KERN_ERR
"iBFT error: Control header is invalid!\n");
762 for (ptr
= &control
->initiator_off
; ptr
+ sizeof(u16
) <= end
; ptr
+= sizeof(u16
)) {
763 offset
= *(u16
*)ptr
;
764 if (offset
&& offset
< header
->header
.length
&&
765 offset
< eot_offset
) {
766 rc
= ibft_create_kobject(header
,
767 (void *)header
+ offset
);
775 ibft_kobj
= kzalloc(sizeof(*ibft_kobj
), GFP_KERNEL
);
779 ibft_kobj
->header
= header
;
780 ibft_kobj
->hdr
= NULL
; /*for ibft_unregister*/
782 boot_kobj
= iscsi_boot_create_acpitbl(boot_kset
, 0,
784 ibft_attr_show_acpitbl
,
785 ibft_check_acpitbl_for
,
795 static void ibft_unregister(void)
797 struct iscsi_boot_kobj
*boot_kobj
, *tmp_kobj
;
798 struct ibft_kobject
*ibft_kobj
;
800 list_for_each_entry_safe(boot_kobj
, tmp_kobj
,
801 &boot_kset
->kobj_list
, list
) {
802 ibft_kobj
= boot_kobj
->data
;
803 if (ibft_kobj
->hdr
&& ibft_kobj
->hdr
->id
== id_nic
)
804 sysfs_remove_link(&boot_kobj
->kobj
, "device");
808 static void ibft_cleanup(void)
812 iscsi_boot_destroy_kset(boot_kset
);
816 static void __exit
ibft_exit(void)
822 static const struct {
826 * One spec says "IBFT", the other says "iBFT". We have to check
831 { "BIFT" }, /* Broadcom iSCSI Offload */
834 static void __init
acpi_find_ibft_region(void)
837 struct acpi_table_header
*table
= NULL
;
842 for (i
= 0; i
< ARRAY_SIZE(ibft_signs
) && !ibft_addr
; i
++) {
843 acpi_get_table(ibft_signs
[i
].sign
, 0, &table
);
844 ibft_addr
= (struct acpi_table_ibft
*)table
;
848 static void __init
acpi_find_ibft_region(void)
854 * ibft_init() - creates sysfs tree entries for the iBFT data.
856 static int __init
ibft_init(void)
861 As on UEFI systems the setup_arch()/find_ibft_region()
862 is called before ACPI tables are parsed and it only does
866 acpi_find_ibft_region();
869 pr_info("iBFT detected.\n");
871 rc
= ibft_check_device();
875 boot_kset
= iscsi_boot_create_kset("ibft");
879 /* Scan the IBFT for data and register the kobjects. */
880 rc
= ibft_register_kobjects(ibft_addr
);
884 printk(KERN_INFO
"No iBFT detected.\n");
893 module_init(ibft_init
);
894 module_exit(ibft_exit
);