Searched refs:page_key_wx (Results 1 – 1 of 1) sorted by relevance
44 static unsigned long page_key_rx, page_key_wx; variable93 page_key_rx = page_key_wx = 0; in page_key_alloc()120 page_key_wp->data[page_key_wx] = *(unsigned char *) pfn; in page_key_memorize()122 if (++page_key_wx < PAGE_KEY_DATA_SIZE) in page_key_memorize()125 page_key_wx = 0; in page_key_memorize()
