On 1/22/19 8:57 AM, Peter Maydell wrote: >>> This is OK code-wise but I'm a bit wary of committing it >>> because then we're stuck with the property forever even >>> if it turns out to be irrelevant to whatever the userland >>> ABI eventually is. >> >> That's surely simply a matter of documentation. >> "Don't rely on this property: it will go away." > > Convention is that those should be prefixed with "x-".
Ok, done. r~