From: Pierre Morel <pmorel@linux.vnet.ibm.com>
To: qemu-devel@nongnu.org
Cc: cornelia.huck@de.ibm.com, pbonzini@redhat.com,
pmorel@linux.vnet.ibm.com, peter.maydell@linaro.org
Subject: [Qemu-devel] [PATCH 2/7] memory: modify memory size for an unsigned 128bit int
Date: Thu, 5 Nov 2015 17:18:54 +0100 [thread overview]
Message-ID: <1446740339-31366-3-git-send-email-pmorel@linux.vnet.ibm.com> (raw)
In-Reply-To: <1446740339-31366-1-git-send-email-pmorel@linux.vnet.ibm.com>
The size of a memory area can never be negative.
It follows it must be defined as an unsigned value.
Let's modify the memory regions size to unsigned 128 integer
and accordingly use the unsigned 128 bit arithmetic.
Signed-off-by: Pierre Morel <pmorel@linux.vnet.ibm.com>
---
include/exec/memory.h | 4 +-
memory.c | 184 ++++++++++++++++++++++++------------------------
memory_mapping.c | 2 +-
3 files changed, 95 insertions(+), 95 deletions(-)
diff --git a/include/exec/memory.h b/include/exec/memory.h
index 94d20ea..42457f5 100644
--- a/include/exec/memory.h
+++ b/include/exec/memory.h
@@ -164,7 +164,7 @@ struct MemoryRegion {
const MemoryRegionIOMMUOps *iommu_ops;
void *opaque;
MemoryRegion *container;
- Int128 size;
+ UInt128 size;
hwaddr addr;
void (*destructor)(MemoryRegion *mr);
ram_addr_t ram_addr;
@@ -264,7 +264,7 @@ struct MemoryRegionSection {
MemoryRegion *mr;
AddressSpace *address_space;
hwaddr offset_within_region;
- Int128 size;
+ UInt128 size;
hwaddr offset_within_address_space;
bool readonly;
};
diff --git a/memory.c b/memory.c
index 10c1df5..d676f13 100644
--- a/memory.c
+++ b/memory.c
@@ -48,35 +48,35 @@ typedef struct AddrRange AddrRange;
* (large MemoryRegion::alias_offset).
*/
struct AddrRange {
- Int128 start;
- Int128 size;
+ UInt128 start;
+ UInt128 size;
};
-static AddrRange addrrange_make(Int128 start, Int128 size)
+static AddrRange addrrange_make(UInt128 start, UInt128 size)
{
return (AddrRange) { start, size };
}
static bool addrrange_equal(AddrRange r1, AddrRange r2)
{
- return int128_eq(r1.start, r2.start) && int128_eq(r1.size, r2.size);
+ return uint128_eq(r1.start, r2.start) && uint128_eq(r1.size, r2.size);
}
-static Int128 addrrange_end(AddrRange r)
+static UInt128 addrrange_end(AddrRange r)
{
- return int128_add(r.start, r.size);
+ return uint128_add(r.start, r.size);
}
-static AddrRange addrrange_shift(AddrRange range, Int128 delta)
+static AddrRange addrrange_shift(AddrRange range, UInt128 delta)
{
- int128_addto(&range.start, delta);
+ uint128_addto(&range.start, delta);
return range;
}
-static bool addrrange_contains(AddrRange range, Int128 addr)
+static bool addrrange_contains(AddrRange range, UInt128 addr)
{
- return int128_ge(addr, range.start)
- && int128_lt(addr, addrrange_end(range));
+ return uint128_ge(addr, range.start)
+ && uint128_lt(addr, addrrange_end(range));
}
static bool addrrange_intersects(AddrRange r1, AddrRange r2)
@@ -87,9 +87,9 @@ static bool addrrange_intersects(AddrRange r1, AddrRange r2)
static AddrRange addrrange_intersection(AddrRange r1, AddrRange r2)
{
- Int128 start = int128_max(r1.start, r2.start);
- Int128 end = int128_min(addrrange_end(r1), addrrange_end(r2));
- return addrrange_make(start, int128_sub(end, start));
+ UInt128 start = uint128_max(r1.start, r2.start);
+ UInt128 end = uint128_min(addrrange_end(r1), addrrange_end(r2));
+ return addrrange_make(start, uint128_sub(end, start));
}
enum ListenerDirection { Forward, Reverse };
@@ -160,7 +160,7 @@ static bool memory_listener_match(MemoryListener *listener,
.address_space = (as), \
.offset_within_region = (fr)->offset_in_region, \
.size = (fr)->addr.size, \
- .offset_within_address_space = int128_get64((fr)->addr.start), \
+ .offset_within_address_space = uint128_to_64((fr)->addr.start), \
.readonly = (fr)->readonly, \
}), ##_args)
@@ -179,13 +179,13 @@ struct MemoryRegionIoeventfd {
static bool memory_region_ioeventfd_before(MemoryRegionIoeventfd a,
MemoryRegionIoeventfd b)
{
- if (int128_lt(a.addr.start, b.addr.start)) {
+ if (uint128_lt(a.addr.start, b.addr.start)) {
return true;
- } else if (int128_gt(a.addr.start, b.addr.start)) {
+ } else if (uint128_gt(a.addr.start, b.addr.start)) {
return false;
- } else if (int128_lt(a.addr.size, b.addr.size)) {
+ } else if (uint128_lt(a.addr.size, b.addr.size)) {
return true;
- } else if (int128_gt(a.addr.size, b.addr.size)) {
+ } else if (uint128_gt(a.addr.size, b.addr.size)) {
return false;
} else if (a.match_data < b.match_data) {
return true;
@@ -301,11 +301,11 @@ static void flatview_unref(FlatView *view)
static bool can_merge(FlatRange *r1, FlatRange *r2)
{
- return int128_eq(addrrange_end(r1->addr), r2->addr.start)
+ return uint128_eq(addrrange_end(r1->addr), r2->addr.start)
&& r1->mr == r2->mr
- && int128_eq(int128_add(int128_make64(r1->offset_in_region),
+ && uint128_eq(uint128_add(uint128_from_64(r1->offset_in_region),
r1->addr.size),
- int128_make64(r2->offset_in_region))
+ uint128_from_64(r2->offset_in_region))
&& r1->dirty_log_mask == r2->dirty_log_mask
&& r1->romd_mode == r2->romd_mode
&& r1->readonly == r2->readonly;
@@ -321,7 +321,7 @@ static void flatview_simplify(FlatView *view)
j = i + 1;
while (j < view->nr
&& can_merge(&view->ranges[j-1], &view->ranges[j])) {
- int128_addto(&view->ranges[i].addr.size, view->ranges[j].addr.size);
+ uint128_addto(&view->ranges[i].addr.size, view->ranges[j].addr.size);
++j;
}
++i;
@@ -530,15 +530,15 @@ static AddressSpace *memory_region_to_address_space(MemoryRegion *mr)
*/
static void render_memory_region(FlatView *view,
MemoryRegion *mr,
- Int128 base,
+ UInt128 base,
AddrRange clip,
bool readonly)
{
MemoryRegion *subregion;
unsigned i;
hwaddr offset_in_region;
- Int128 remain;
- Int128 now;
+ UInt128 remain;
+ UInt128 now;
FlatRange fr;
AddrRange tmp;
@@ -546,7 +546,7 @@ static void render_memory_region(FlatView *view,
return;
}
- int128_addto(&base, int128_make64(mr->addr));
+ uint128_addto(&base, uint128_from_64(mr->addr));
readonly |= mr->readonly;
tmp = addrrange_make(base, mr->size);
@@ -558,8 +558,8 @@ static void render_memory_region(FlatView *view,
clip = addrrange_intersection(tmp, clip);
if (mr->alias) {
- int128_subfrom(&base, int128_make64(mr->alias->addr));
- int128_subfrom(&base, int128_make64(mr->alias_offset));
+ uint128_subfrom(&base, uint128_from_64(mr->alias->addr));
+ uint128_subfrom(&base, uint128_from_64(mr->alias_offset));
render_memory_region(view, mr->alias, base, clip, readonly);
return;
}
@@ -573,7 +573,7 @@ static void render_memory_region(FlatView *view,
return;
}
- offset_in_region = int128_get64(int128_sub(clip.start, base));
+ offset_in_region = uint128_to_64(uint128_sub(clip.start, base));
base = clip.start;
remain = clip.size;
@@ -583,29 +583,29 @@ static void render_memory_region(FlatView *view,
fr.readonly = readonly;
/* Render the region itself into any gaps left by the current view. */
- for (i = 0; i < view->nr && int128_nz(remain); ++i) {
- if (int128_ge(base, addrrange_end(view->ranges[i].addr))) {
+ for (i = 0; i < view->nr && uint128_nz(remain); ++i) {
+ if (uint128_ge(base, addrrange_end(view->ranges[i].addr))) {
continue;
}
- if (int128_lt(base, view->ranges[i].addr.start)) {
- now = int128_min(remain,
- int128_sub(view->ranges[i].addr.start, base));
+ if (uint128_lt(base, view->ranges[i].addr.start)) {
+ now = uint128_min(remain,
+ uint128_sub(view->ranges[i].addr.start, base));
fr.offset_in_region = offset_in_region;
fr.addr = addrrange_make(base, now);
flatview_insert(view, i, &fr);
++i;
- int128_addto(&base, now);
- offset_in_region += int128_get64(now);
- int128_subfrom(&remain, now);
+ uint128_addto(&base, now);
+ offset_in_region += uint128_to_64(now);
+ uint128_subfrom(&remain, now);
}
- now = int128_sub(int128_min(int128_add(base, remain),
+ now = uint128_sub(uint128_min(uint128_add(base, remain),
addrrange_end(view->ranges[i].addr)),
base);
- int128_addto(&base, now);
- offset_in_region += int128_get64(now);
- int128_subfrom(&remain, now);
+ uint128_addto(&base, now);
+ offset_in_region += uint128_to_64(now);
+ uint128_subfrom(&remain, now);
}
- if (int128_nz(remain)) {
+ if (uint128_nz(remain)) {
fr.offset_in_region = offset_in_region;
fr.addr = addrrange_make(base, remain);
flatview_insert(view, i, &fr);
@@ -621,8 +621,8 @@ static FlatView *generate_memory_topology(MemoryRegion *mr)
flatview_init(view);
if (mr) {
- render_memory_region(view, mr, int128_zero(),
- addrrange_make(int128_zero(), int128_2_64()), false);
+ render_memory_region(view, mr, uint128_zero(),
+ addrrange_make(uint128_zero(), uint128_2_64()), false);
}
flatview_simplify(view);
@@ -652,7 +652,7 @@ static void address_space_add_del_ioeventfds(AddressSpace *as,
fd = &fds_old[iold];
section = (MemoryRegionSection) {
.address_space = as,
- .offset_within_address_space = int128_get64(fd->addr.start),
+ .offset_within_address_space = uint128_to_64(fd->addr.start),
.size = fd->addr.size,
};
MEMORY_LISTENER_CALL(eventfd_del, Forward, §ion,
@@ -665,7 +665,7 @@ static void address_space_add_del_ioeventfds(AddressSpace *as,
fd = &fds_new[inew];
section = (MemoryRegionSection) {
.address_space = as,
- .offset_within_address_space = int128_get64(fd->addr.start),
+ .offset_within_address_space = uint128_to_64(fd->addr.start),
.size = fd->addr.size,
};
MEMORY_LISTENER_CALL(eventfd_add, Reverse, §ion,
@@ -702,8 +702,8 @@ static void address_space_update_ioeventfds(AddressSpace *as)
FOR_EACH_FLAT_RANGE(fr, view) {
for (i = 0; i < fr->mr->ioeventfd_nb; ++i) {
tmp = addrrange_shift(fr->mr->ioeventfds[i].addr,
- int128_sub(fr->addr.start,
- int128_make64(fr->offset_in_region)));
+ uint128_sub(fr->addr.start,
+ uint128_from_64(fr->offset_in_region)));
if (addrrange_intersects(fr->addr, tmp)) {
++ioeventfd_nb;
ioeventfds = g_realloc(ioeventfds,
@@ -749,8 +749,8 @@ static void address_space_update_topology_pass(AddressSpace *as,
if (frold
&& (!frnew
- || int128_lt(frold->addr.start, frnew->addr.start)
- || (int128_eq(frold->addr.start, frnew->addr.start)
+ || uint128_lt(frold->addr.start, frnew->addr.start)
+ || (uint128_eq(frold->addr.start, frnew->addr.start)
&& !flatrange_equal(frold, frnew)))) {
/* In old but not in new, or in both but attributes changed. */
@@ -913,9 +913,9 @@ void memory_region_init(MemoryRegion *mr,
}
object_initialize(mr, sizeof(*mr), TYPE_MEMORY_REGION);
- mr->size = int128_make64(size);
+ mr->size = uint128_from_64(size);
if (size == UINT64_MAX) {
- mr->size = int128_2_64();
+ mr->size = uint128_2_64();
}
mr->name = g_strdup(name);
@@ -1372,10 +1372,10 @@ void memory_region_unref(MemoryRegion *mr)
uint64_t memory_region_size(MemoryRegion *mr)
{
- if (int128_eq(mr->size, int128_2_64())) {
+ if (uint128_eq(mr->size, uint128_2_64())) {
return UINT64_MAX;
}
- return int128_get64(mr->size);
+ return uint128_to_64(mr->size);
}
const char *memory_region_name(const MemoryRegion *mr)
@@ -1566,24 +1566,24 @@ static void memory_region_update_coalesced_range_as(MemoryRegion *mr, AddressSpa
if (fr->mr == mr) {
section = (MemoryRegionSection) {
.address_space = as,
- .offset_within_address_space = int128_get64(fr->addr.start),
+ .offset_within_address_space = uint128_to_64(fr->addr.start),
.size = fr->addr.size,
};
MEMORY_LISTENER_CALL(coalesced_mmio_del, Reverse, §ion,
- int128_get64(fr->addr.start),
- int128_get64(fr->addr.size));
+ uint128_to_64(fr->addr.start),
+ uint128_to_64(fr->addr.size));
QTAILQ_FOREACH(cmr, &mr->coalesced, link) {
tmp = addrrange_shift(cmr->addr,
- int128_sub(fr->addr.start,
- int128_make64(fr->offset_in_region)));
+ uint128_sub(fr->addr.start,
+ uint128_from_64(fr->offset_in_region)));
if (!addrrange_intersects(tmp, fr->addr)) {
continue;
}
tmp = addrrange_intersection(tmp, fr->addr);
MEMORY_LISTENER_CALL(coalesced_mmio_add, Forward, §ion,
- int128_get64(tmp.start),
- int128_get64(tmp.size));
+ uint128_to_64(tmp.start),
+ uint128_to_64(tmp.size));
}
}
}
@@ -1602,7 +1602,7 @@ static void memory_region_update_coalesced_range(MemoryRegion *mr)
void memory_region_set_coalescing(MemoryRegion *mr)
{
memory_region_clear_coalescing(mr);
- memory_region_add_coalescing(mr, 0, int128_get64(mr->size));
+ memory_region_add_coalescing(mr, 0, uint128_to_64(mr->size));
}
void memory_region_add_coalescing(MemoryRegion *mr,
@@ -1611,7 +1611,7 @@ void memory_region_add_coalescing(MemoryRegion *mr,
{
CoalescedMemoryRange *cmr = g_malloc(sizeof(*cmr));
- cmr->addr = addrrange_make(int128_make64(offset), int128_make64(size));
+ cmr->addr = addrrange_make(uint128_from_64(offset), uint128_from_64(size));
QTAILQ_INSERT_TAIL(&mr->coalesced, cmr, link);
memory_region_update_coalesced_range(mr);
memory_region_set_flush_coalesced(mr);
@@ -1668,8 +1668,8 @@ void memory_region_add_eventfd(MemoryRegion *mr,
EventNotifier *e)
{
MemoryRegionIoeventfd mrfd = {
- .addr.start = int128_make64(addr),
- .addr.size = int128_make64(size),
+ .addr.start = uint128_from_64(addr),
+ .addr.size = uint128_from_64(size),
.match_data = match_data,
.data = data,
.e = e,
@@ -1701,8 +1701,8 @@ void memory_region_del_eventfd(MemoryRegion *mr,
EventNotifier *e)
{
MemoryRegionIoeventfd mrfd = {
- .addr.start = int128_make64(addr),
- .addr.size = int128_make64(size),
+ .addr.start = uint128_from_64(addr),
+ .addr.size = uint128_from_64(size),
.match_data = match_data,
.data = data,
.e = e,
@@ -1739,20 +1739,20 @@ static void memory_region_update_container_subregions(MemoryRegion *subregion)
if (subregion->may_overlap || other->may_overlap) {
continue;
}
- if (int128_ge(int128_make64(offset),
- int128_add(int128_make64(other->addr), other->size))
- || int128_le(int128_add(int128_make64(offset), subregion->size),
- int128_make64(other->addr))) {
+ if (uint128_ge(uint128_from_64(offset),
+ uint128_add(uint128_from_64(other->addr), other->size))
+ || uint128_le(uint128_add(uint128_from_64(offset), subregion->size),
+ uint128_from_64(other->addr))) {
continue;
}
#if 0
printf("warning: subregion collision %llx/%llx (%s) "
"vs %llx/%llx (%s)\n",
(unsigned long long)offset,
- (unsigned long long)int128_get64(subregion->size),
+ (unsigned long long)uint128_to_64(subregion->size),
subregion->name,
(unsigned long long)other->addr,
- (unsigned long long)int128_get64(other->size),
+ (unsigned long long)uint128_to_64(other->size),
other->name);
#endif
}
@@ -1822,12 +1822,12 @@ void memory_region_set_enabled(MemoryRegion *mr, bool enabled)
void memory_region_set_size(MemoryRegion *mr, uint64_t size)
{
- Int128 s = int128_make64(size);
+ UInt128 s = uint128_from_64(size);
if (size == UINT64_MAX) {
- s = int128_2_64();
+ s = uint128_2_64();
}
- if (int128_eq(s, mr->size)) {
+ if (uint128_eq(s, mr->size)) {
return;
}
memory_region_transaction_begin();
@@ -1888,9 +1888,9 @@ static int cmp_flatrange_addr(const void *addr_, const void *fr_)
const AddrRange *addr = addr_;
const FlatRange *fr = fr_;
- if (int128_le(addrrange_end(*addr), fr->addr.start)) {
+ if (uint128_le(addrrange_end(*addr), fr->addr.start)) {
return -1;
- } else if (int128_ge(addr->start, addrrange_end(fr->addr))) {
+ } else if (uint128_ge(addr->start, addrrange_end(fr->addr))) {
return 1;
}
return 0;
@@ -1930,7 +1930,7 @@ static MemoryRegionSection memory_region_find_rcu(MemoryRegion *mr,
if (!as) {
return ret;
}
- range = addrrange_make(int128_make64(addr), int128_make64(size));
+ range = addrrange_make(uint128_from_64(addr), uint128_from_64(size));
view = atomic_rcu_read(&as->current_map);
fr = flatview_lookup(view, range);
@@ -1946,10 +1946,10 @@ static MemoryRegionSection memory_region_find_rcu(MemoryRegion *mr,
ret.address_space = as;
range = addrrange_intersection(range, fr->addr);
ret.offset_within_region = fr->offset_in_region;
- ret.offset_within_region += int128_get64(int128_sub(range.start,
+ ret.offset_within_region += uint128_to_64(uint128_sub(range.start,
fr->addr.start));
ret.size = range.size;
- ret.offset_within_address_space = int128_get64(range.start);
+ ret.offset_within_address_space = uint128_to_64(range.start);
ret.readonly = fr->readonly;
return ret;
}
@@ -2037,7 +2037,7 @@ static void listener_add_address_space(MemoryListener *listener,
.address_space = as,
.offset_within_region = fr->offset_in_region,
.size = fr->addr.size,
- .offset_within_address_space = int128_get64(fr->addr.start),
+ .offset_within_address_space = uint128_to_64(fr->addr.start),
.readonly = fr->readonly,
};
if (listener->region_add) {
@@ -2175,9 +2175,9 @@ static void mtree_print_mr(fprintf_function mon_printf, void *f,
"-" TARGET_FMT_plx "%s\n",
base + mr->addr,
base + mr->addr
- + (int128_nz(mr->size) ?
- (hwaddr)int128_get64(int128_sub(mr->size,
- int128_one())) : 0),
+ + (uint128_nz(mr->size) ?
+ (hwaddr)uint128_to_64(uint128_sub(mr->size,
+ uint128_one())) : 0),
mr->priority,
mr->romd_mode ? 'R' : '-',
!mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
@@ -2186,18 +2186,18 @@ static void mtree_print_mr(fprintf_function mon_printf, void *f,
memory_region_name(mr->alias),
mr->alias_offset,
mr->alias_offset
- + (int128_nz(mr->size) ?
- (hwaddr)int128_get64(int128_sub(mr->size,
- int128_one())) : 0),
+ + (uint128_nz(mr->size) ?
+ (hwaddr)uint128_to_64(uint128_sub(mr->size,
+ uint128_one())) : 0),
mr->enabled ? "" : " [disabled]");
} else {
mon_printf(f,
TARGET_FMT_plx "-" TARGET_FMT_plx " (prio %d, %c%c): %s%s\n",
base + mr->addr,
base + mr->addr
- + (int128_nz(mr->size) ?
- (hwaddr)int128_get64(int128_sub(mr->size,
- int128_one())) : 0),
+ + (uint128_nz(mr->size) ?
+ (hwaddr)uint128_to_64(uint128_sub(mr->size,
+ uint128_one())) : 0),
mr->priority,
mr->romd_mode ? 'R' : '-',
!mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
diff --git a/memory_mapping.c b/memory_mapping.c
index 36d6b26..ce87c6b 100644
--- a/memory_mapping.c
+++ b/memory_mapping.c
@@ -209,7 +209,7 @@ static void guest_phys_blocks_region_add(MemoryListener *listener,
}
g = container_of(listener, GuestPhysListener, listener);
- section_size = int128_get64(section->size);
+ section_size = uint128_to_64(section->size);
target_start = section->offset_within_address_space;
target_end = target_start + section_size;
host_addr = memory_region_get_ram_ptr(section->mr) +
--
1.7.1
next prev parent reply other threads:[~2015-11-05 16:19 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-11-05 16:18 [Qemu-devel] [PATCH 0/7] int128: reparing broken 128 bit memory calculations Pierre Morel
2015-11-05 16:18 ` [Qemu-devel] [PATCH 1/7] int128: use unsigned 128 bit arithmetic Pierre Morel
2015-11-05 16:18 ` Pierre Morel [this message]
2015-11-05 16:18 ` [Qemu-devel] [PATCH 3/7] 128bit: adapt core files for unsigned 128bits Pierre Morel
2015-11-05 16:18 ` [Qemu-devel] [PATCH 4/7] 128bit: adapt sparc mmu_helper for UInt128 Pierre Morel
2015-11-05 16:18 ` [Qemu-devel] [PATCH 5/7] 128bit: adapt VFIO for UInt128 arithmetic Pierre Morel
2015-11-05 16:18 ` [Qemu-devel] [PATCH 6/7] 128bit: adapt Virtio " Pierre Morel
2015-11-05 16:18 ` [Qemu-devel] [PATCH 7/7] 128bits: some HW components use 128bit arithmetic Pierre Morel
2015-11-05 16:32 ` [Qemu-devel] [PATCH 0/7] int128: reparing broken 128 bit memory calculations Paolo Bonzini
2015-11-06 8:36 ` Pierre Morel
2015-11-06 16:33 ` Paolo Bonzini
[not found] ` <56408B28.8070408@linux.vnet.ibm.com>
2015-11-09 12:20 ` Paolo Bonzini
2015-11-10 9:08 ` Pierre Morel
2015-11-10 12:12 ` Pierre Morel
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1446740339-31366-3-git-send-email-pmorel@linux.vnet.ibm.com \
--to=pmorel@linux.vnet.ibm.com \
--cc=cornelia.huck@de.ibm.com \
--cc=pbonzini@redhat.com \
--cc=peter.maydell@linaro.org \
--cc=qemu-devel@nongnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).