/* Call ExitBootServices again and check that the notification function is not called again. */
static int execute(void)
/* Call ExitBootServices again and check that the notification function is not called again. */
static int execute(void)
{
	if (notification_count != 1) {
		efi_st_error("ExitBootServices was not notified\n");
		return EFI_ST_FAILURE;
	}
	efi_st_exit_boot_services();
	if (notification_count != 1) {
		efi_st_error("ExitBootServices was notified twice\n");
		return EFI_ST_FAILURE;
	}
	return EFI_ST_SUCCESS;
}