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