Re: XNU's EXTERNAL_HEADERS folder and seemingly outdated headers in it