On Fri, 27 Sep, at 05:46:07PM, Linn Crosetto wrote: > Given that we have already successfully called exit_boot_services, can > we still make this call to free_pool?
Urgh, good point. The answer is "no, not really". I'll add your change verbatim and push out the 'next' branch again. -- Matt Fleming, Intel Open Source Technology Center -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
