__apei_exec_write_register
return __apei_exec_write_register(entry, ctx->value);
int __apei_exec_write_register(struct acpi_whea_header *entry, u64 val);
return __apei_exec_write_register(entry, ctx->var1);
rc = __apei_exec_write_register(entry, val);
rc = __apei_exec_write_register(entry, val);