An answer to the question I just posted, http://stackoverflow.com/a/35438236/263061 suggests that neither is the case, but in fact the kernel takes the maximum of the two values. -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
