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