8  * headers of the system table, the boot services table, and the runtime
9  * services table before and after ExitBootServices().
18 static int check_table(const void *table)  in check_table()  argument
23 	struct efi_table_hdr *hdr = (struct efi_table_hdr *)table;  in check_table()
44 	 * Setting the crc32 of the 'const' table to zero is easier than  in check_table()
48 	ret = bs_crc32(table, hdr->headersize, &res);  in check_table()
49 	/* Reset table crc32 so it stays constant */  in check_table()
69  * @systable:	system table
94 		efi_st_error("Checking system table\n");  in setup()
98 		efi_st_error("Checking boottime table\n");  in setup()
102 		efi_st_error("Checking runtime table\n");  in setup()
119 		efi_st_error("Checking system table\n");  in execute()
123 		efi_st_error("Checking runtime table\n");  in execute()
129 	 * table afterwards because this would invalidate the addresses of the  in execute()