fast-get: fix userspace#10388
Conversation
There was a problem hiding this comment.
Pull request overview
This PR fixes a regression in the userspace syscall verification functions (z_vrfy_fast_put and z_vrfy_fast_get) that was introduced in commit 879ba45 from PR #10379. The fix addresses compilation/runtime issues in the CONFIG_USERSPACE code path.
- Corrected syscall marshalling include file names (removed incorrect 'mod_' prefix)
- Removed invalid memory validation calls attempting to access non-existent
heap->heap.heapstructure - Properly organized includes for userspace syscall handlers
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Fix userspace z_vrfy_* implementations. Signed-off-by: Guennadi Liakhovetski <guennadi.liakhovetski@linux.intel.com>
|
@lrudyX the PR only modifies code under |
One test failed. Not related. |
|
Still no data on Jenkins, rerun. |
|
SOFCI TEST |
softwarecki
left a comment
There was a problem hiding this comment.
Since this fixes a bug introduced due to the rushed review in #10379, I have to approve. However, I do not understand why these functions are turned into syscalls when the previous commit extended their parameter list with heap. It seems that for userspace modules fast_get should copy data to the heap accessible to the user, so the syscall is unnecessary. On the other hand, a syscall would make sense if we wanted to place the data in a read-only heap shared between modules, but then the heap parameter becomes redundant.
Regardless of that, please wrap all userspace-related changes in more specific ifdefs instead of the generic CONFIG_USERSPACE.
Fix userspace z_vrfy_* implementations. Fixes a recent regression, caused by 879ba45 from #10379