ACPI_ERST_SET_RECORD_ID  676 drivers/acpi/apei/erst.c 	rc = apei_exec_run(&ctx, ACPI_ERST_SET_RECORD_ID);
ACPI_ERST_SET_RECORD_ID  715 drivers/acpi/apei/erst.c 	rc = apei_exec_run(&ctx, ACPI_ERST_SET_RECORD_ID);