kbm_probe
while (kbm_probe(&va, &len, &pfn, &prot) != 0) {
while (kbm_probe(&va, &len, &pfn, &prot) != 0 && va < high) {
*size > 0 && kbm_probe(&va, &len, &pfn, &prot) != 0;
*size > 0 && kbm_probe(&va, &len, &pfn, &prot) != 0;
if (kbm_probe(&vaddr, &len, &pfn, &prot) == 0)
while (kbm_probe(&va, &size, &pfn, &prot) != 0) {
if (kbm_probe(&va, &len, &pfn, &prot) == 0)
extern int kbm_probe(uintptr_t *va, size_t *len, pfn_t *pfn, uint_t *prot);