@ -19,3 +19,5 @@
*/
#include <arch-generic/types.h>
#define arch_uint_ptr uint32
The note is not visible to the blocked user.