Fix argument to PUSH_D_CACHE_REGION.
authorTaylor R Campbell <campbell@mumble.net>
Mon, 21 Jan 2019 20:53:14 +0000 (20:53 +0000)
committerTaylor R Campbell <campbell@mumble.net>
Wed, 21 Aug 2019 21:34:04 +0000 (21:34 +0000)
commit2303479047342b0591ce768fbf84d31ee98aa431
tree39abdb12da25280a3e4b60c03cb8b59448b6e1f2
parent5a68c73d4b507cf617763fa1e1210c336491de0b
Fix argument to PUSH_D_CACHE_REGION.

Takes startptr/count, not startptr/endptr.

This was not an issue before because until aarch64, the only extant
port that even used this, i386, ignored the argument as a macro and
flushed the entire cache.
src/microcode/cmpint.c