HelenOS sources
DEV_IPC_GET_ARG2 296 uspace/lib/drv/generic/remote_ahci.c (((uint64_t) (DEV_IPC_GET_ARG2(*call))) & 0xffffffff);
DEV_IPC_GET_ARG2 323 uspace/lib/drv/generic/remote_ahci.c (((uint64_t)(DEV_IPC_GET_ARG2(*call))) & 0xffffffff);
DEV_IPC_GET_ARG2 303 uspace/lib/drv/generic/remote_audio_mixer.c const unsigned value = DEV_IPC_GET_ARG2(*icall);
DEV_IPC_GET_ARG2 749 uspace/lib/drv/generic/remote_audio_pcm.c unsigned rate = DEV_IPC_GET_ARG2(*call);
DEV_IPC_GET_ARG2 821 uspace/lib/drv/generic/remote_audio_pcm.c const unsigned rate = DEV_IPC_GET_ARG2(*call);
DEV_IPC_GET_ARG2 848 uspace/lib/drv/generic/remote_audio_pcm.c const unsigned rate = DEV_IPC_GET_ARG2(*call);
DEV_IPC_GET_ARG2 152 uspace/lib/drv/generic/remote_hw_res.c const uint32_t address = DEV_IPC_GET_ARG2(*call);
DEV_IPC_GET_ARG2 214 uspace/lib/drv/generic/remote_pci.c uint8_t value = DEV_IPC_GET_ARG2(*call);
DEV_IPC_GET_ARG2 232 uspace/lib/drv/generic/remote_pci.c uint16_t value = DEV_IPC_GET_ARG2(*call);
DEV_IPC_GET_ARG2 250 uspace/lib/drv/generic/remote_pci.c uint32_t value = DEV_IPC_GET_ARG2(*call);
DEV_IPC_GET_ARG2 283 uspace/lib/drv/generic/remote_usbhc.c usb_speed_t speed = DEV_IPC_GET_ARG2(*call);
HelenOS homepage, sources at GitHub