HelenOS sources

remote_ahci_get_sata_device_name  184 uspace/lib/drv/generic/remote_ahci.c static void remote_ahci_get_sata_device_name(ddf_fun_t *, void *, ipc_call_t *);
remote_ahci_get_sata_device_name  192 uspace/lib/drv/generic/remote_ahci.c 	[IPC_M_AHCI_GET_SATA_DEVICE_NAME] = remote_ahci_get_sata_device_name,
HelenOS homepage, sources at GitHub