_PAGE_CACHE_MODE_WP
#define _PAGE_CACHE_WP (cachemode2protval(_PAGE_CACHE_MODE_WP))
[_PAGE_CACHE_MODE_WP ] = 0 | _PAGE_PCD,
uint16_t prot = __cachemode2pte_tbl[_PAGE_CACHE_MODE_WP];
return __pte2cachemode_tbl[__pte2cm_idx(prot)] == _PAGE_CACHE_MODE_WP;
if (req_type == _PAGE_CACHE_MODE_WP) {
case _PAGE_CACHE_MODE_WP: return "write-protected";