Re: [PATCH] secretmem: optimize page_is_secretmem()