Searched refs:kreadptr (Results 1 – 1 of 1) sorted by relevance
200 static void kreadptr(uintptr_t, void *, size_t);1255 kreadptr(kaddr, *intrcnts, intrcntlen); in read_intrcnts()1328 kreadptr(kaddr, intrnames, inamlen); in dointr()1672 kreadptr(uintptr_t addr, void *buf, size_t size) in kreadptr() function