[PATCH] secretmem: optimize page_is_secretmem()