Sorry, forgot to add Anshuman. On Tue, 28 Mar 2017, Davidlohr Bueso wrote:
Do we have any consensus here? Keeping SHM_HUGE_* is currently winning 2-1. If there are in fact users out there computing the value manually, then I am ok with keeping it and properly exporting it. Michal? Thanks, Davidlohr
