rtkit_alloc
addr = rtkit_alloc(state, size << PAGE_SHIFT,
addr = rtkit_alloc(state, size << PAGE_SHIFT,
addr = rtkit_alloc(state, size << PAGE_SHIFT,
addr = rtkit_alloc(state, size, &state->oslog);