Symbol: ktext_write
sys/arch/arm/arm32/db_interface.c
252
ktext_write((void *)addr, data, size);
sys/uvm/uvm_extern.h
645
void ktext_write(void *, const void *, size_t);