__apei_exec_read_register
rc = __apei_exec_read_register(entry, &val);
int __apei_exec_read_register(struct acpi_whea_header *entry, u64 *val);
return __apei_exec_read_register(entry, &ctx->var1);
return __apei_exec_read_register(entry, &ctx->var2);
rc = __apei_exec_read_register(entry, &val);
rc = __apei_exec_read_register(entry, &val);
rc = __apei_exec_read_register(entry, &val);
rc = __apei_exec_read_register(entry, &val);
return __apei_exec_read_register(entry, &ctx->src_base);
return __apei_exec_read_register(entry, &ctx->dst_base);
rc = __apei_exec_read_register(entry, &offset);