arm64virt_add_fun 227 uspace/drv/platform/arm64virt/arm64virt.c rc = arm64virt_add_fun(dev, "intctl", "arm/gicv2", arm64virt_add_fun 232 uspace/drv/platform/arm64virt/arm64virt.c rc = arm64virt_add_fun(dev, "uart", "arm/pl011",HelenOS homepage, sources at GitHub