Searched refs:wraddr (Results 1 – 1 of 1) sorted by relevance
4819 volatile uint32_t *wraddr = __DECONST(uint32_t *, &sysent[0]); in kern_sysent_write() local4820 *wraddr = 0; in kern_sysent_write()