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