Re: [PATCH v6 036/102] x86: Don't export mrccache_update()