Re: [PATCH v2 0/2] secretmem: optimize page_is_secretmem()