Skip to content
Commit d2a8a295 authored by Kevin Brodsky's avatar Kevin Brodsky
Browse files

linux/types.h: Fix definition of uintcap_t



__kernel_uintcap_t is an arm64-specific uapi type, so it does not
make sense to use it to define uintcap_t. Besides, uintcap_t is only
defined if CHERI is available, so defining it as __uintcap_t
directly is perfectly fine.

Fixes: ("linux/types.h: Introduce uintcap_t")
Signed-off-by: Kevin Brodsky's avatarKevin Brodsky <kevin.brodsky@arm.com>
parent 8c6402f4
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment