On Wed, Aug 30, 2023 at 11:49:53AM -0700, Ankur Arora wrote: > -void clear_page_orig(void *page); > -void clear_page_rep(void *page); > -void clear_page_erms(void *page); > +void clear_pages_orig(void *page, unsigned int length); > +void clear_pages_rep(void *page, unsigned int length); > +void clear_pages_erms(void *page, unsigned int length); Maybe make this size_t so we know it's a byte count rather than being some other unit of length?
