Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
kenv: Fix preload_delete_name() in purecap kernels
It was treating a MODINFO_ADDR token as a capability, but it's a bare address. Cast appropriately, like we do in preload_fetch_addr().
- Loading branch information