Searched refs:page_key_write (Results 1 – 1 of 1) sorted by relevance
521 void page_key_write(void *address);538 static inline void page_key_write(void *address) {} in page_key_write() function