Lines Matching refs:user_addr_t
2775 void* /*really,user_addr_t*/, xsecurity);
2796 void* /*really,user_addr_t*/, xsecurity);
2820 void* /*really,user_addr_t*/, xsecurity);
4462 user_addr_t buffer, int32_t buffersize)
9717 int, fd, user_addr_t, path, int, amode, int, flag);
9725 int, fd, user_addr_t, path, user_addr_t, ub, int, flag);
9753 // int bsdthread_ctl(user_addr_t cmd, user_addr_t arg1,
9754 // user_addr_t arg2, user_addr_t arg3)
9764 uint32_t, op, user_addr_t, useraddr, user_addr_t, usersize);
