161  * The EFI reserved partition size is 8 MiB. This calculates the number of
232  * Read EFI - return partition number upon success.
263 	/* Check if we have partition with ID EFI_PMBR */  in efi_alloc_and_read()
384 	 * get the partition number for this file descriptor.  in efi_read()
452 		 * Later, we will read GUID partition entry array if we  in efi_read()
496 			 * Partition tables are between backup GPT header  in efi_read()
498 			 * the GUID partition entries array). Now that we  in efi_read()
500 			 * dk_ioc.dki_data, we try to get GUID partition  in efi_read()
518 				 * read GUID partition entry array  in efi_read()
825 "partition %d is \"unassigned\" but has a size of %llu",  in check_input()
841 "found duplicate reserved partition at %d\n",  in check_input()
852 				    "Partition %d starts at %llu.  ",  in check_input()
870 				    "Partition %d ends at %llu.  ",  in check_input()
893 "Partition %d overlaps partition %d.",  in check_input()
904 		    "no reserved partition found\n");  in check_input()
910  * Set *lastp_p to the last non-reserved partition with the last (highest)
912  * partition layout isn't as expected (reserved partiton last, no overlap
934 	 * (efi_nparts - 1) partition since that should be the reserved  in efi_use_whole_disk_get_last()
935 	 * partition (which is checked later).  in efi_use_whole_disk_get_last()
945 				 * indicate which partition is the problem.  in efi_use_whole_disk_get_last()
948 				(void) fprintf(stderr, "%s: reserved partition "  in efi_use_whole_disk_get_last()
968 			(void) fprintf(stderr, "%s: no reserved partition\n",  in efi_use_whole_disk_get_last()
977 	 * The reserved partition should start after the last (highest)  in efi_use_whole_disk_get_last()
978 	 * LBA used by any other partition.  in efi_use_whole_disk_get_last()
982 			(void) fprintf(stderr, "%s: reserved partition not "  in efi_use_whole_disk_get_last()
1051 	 * If there is unused space after the reserved partition, move it to  in efi_use_whole_disk()
1062 				(void) fprintf(stderr, "%s: reserved partition "  in efi_use_whole_disk()
1074 	 * If there is space between the last (non-reserved) partition and  in efi_use_whole_disk()
1075 	 * the reserved partition, grow the last partition.  in efi_use_whole_disk()
1143 	 * the number of blocks occupied by GUID partition entry array  in efi_write()
1149 	 * partition entry array. Here, we calculate the address  in efi_write()
1241 	/* write backup partition array */  in efi_write()
1262 	 * partition table header  in efi_write()
1338 			    "partition %d is \"unassigned\" but has a size "  in efi_err_check()
1347 				    "found duplicate reserved partition at "  in efi_err_check()
1353 				    "Warning: reserved partition size must "  in efi_err_check()
1359 			    "Partition %d starts at %llu\n",  in efi_err_check()
1374 			    "Partition %d ends at %llu\n",  in efi_err_check()
1399 					    "Partition %d overlaps partition "  in efi_err_check()
1406 	/* make sure there is a reserved partition */  in efi_err_check()
1409 		    "no reserved partition found\n");  in efi_err_check()
1424 	 * Now build the default partition table  in efi_auto_sense()
1440 	/* root partition - s0 128 MB */  in efi_auto_sense()
1446 	/* partition - s1  128 MB */  in efi_auto_sense()
1451 	/* partition -s2 is NOT the Backup disk */  in efi_auto_sense()
1454 	/* partition -s6 /usr partition - HOG */  in efi_auto_sense()
1460 	/* efi reserved partition - s9 16K */  in efi_auto_sense()