xsvc_ioctl_alloc_memory
static int xsvc_ioctl_alloc_memory(xsvc_state_t *state, void *arg, int mode);
err = xsvc_ioctl_alloc_memory(state, (void *)arg, mode);