/* @i: index of the table entry to be removed  */
static void efi_remove_configuration_table(int i)
/* @i: index of the table entry to be removed  */
static void efi_remove_configuration_table(int i)
{
	struct efi_configuration_table *this = &systab.tables[i];
	struct efi_configuration_table *next = &systab.tables[i + 1];
	struct efi_configuration_table *end = &systab.tables[systab.nr_tables];
	memmove(this, next, (ulong)end - (ulong)next);
	systab.nr_tables--;
}