Searched refs:page_key_wx (Results 1 – 1 of 1) sorted by relevance
43 static unsigned long page_key_rx, page_key_wx; variable92 page_key_rx = page_key_wx = 0; in page_key_alloc()113 page_key_wp->data[page_key_wx] = *(unsigned char *) pfn; in page_key_memorize()115 if (++page_key_wx < PAGE_KEY_DATA_SIZE) in page_key_memorize()118 page_key_wx = 0; in page_key_memorize()