HelenOS sources
km_unmap 212 kernel/genarch/include/genarch/drivers/amdm37x/gpt.h km_unmap((uintptr_t)clksel, 4);
km_unmap 126 kernel/genarch/src/drivers/bcm2835/mbox.c km_unmap((uintptr_t)fb_mbox, sizeof(bcm2835_mbox_t));
km_unmap 157 kernel/genarch/src/drivers/bcm2835/mbox.c km_unmap((uintptr_t) mbox, sizeof(bcm2835_mbox_t));
km_unmap 54 kernel/generic/include/mm/km.h extern void km_unmap(uintptr_t, size_t);
km_unmap 729 kernel/generic/src/console/cmd.c km_unmap((uintptr_t) ptr, sizeof(uint8_t));
km_unmap 759 kernel/generic/src/console/cmd.c km_unmap((uintptr_t) ptr, sizeof(uint16_t));
km_unmap 789 kernel/generic/src/console/cmd.c km_unmap((uintptr_t) ptr, sizeof(uint32_t));
km_unmap 820 kernel/generic/src/console/cmd.c km_unmap((uintptr_t) ptr, sizeof(uint8_t));
km_unmap 851 kernel/generic/src/console/cmd.c km_unmap((uintptr_t) ptr, sizeof(uint16_t));
km_unmap 882 kernel/generic/src/console/cmd.c km_unmap((uintptr_t) ptr, sizeof(uint32_t));
km_unmap 553 kernel/generic/src/ddi/ddi.c km_unmap((uintptr_t) virt, size);
km_unmap 76 kernel/generic/src/ipc/irq.c km_unmap(ranges[i].base, ranges[i].size);
km_unmap 63 kernel/test/mm/mapping1.c km_unmap(page0, PAGE_SIZE);
km_unmap 64 kernel/test/mm/mapping1.c km_unmap(page1, PAGE_SIZE);
km_unmap 78 kernel/test/mm/mapping1.c km_unmap(page0, PAGE_SIZE);
km_unmap 79 kernel/test/mm/mapping1.c km_unmap(page1, PAGE_SIZE);
km_unmap 85 kernel/test/mm/mapping1.c km_unmap(page0, PAGE_SIZE);
km_unmap 86 kernel/test/mm/mapping1.c km_unmap(page1, PAGE_SIZE);
HelenOS homepage, sources at GitHub