Searched defs:cpxend (Results 1 – 1 of 1) sorted by relevance
184 void *cpxend = (void*)((uint8_t*)cpx + PAGE_SIZE); in cpx_writeprotect() local210 void *cpxend = (void*)((uint8_t*)cpx + PAGE_SIZE); in cpx_free() local