Searched refs:access_ok (Results 1 - 7 of 7) sorted by relevance
| /barrelfish-master/kernel/include/ |
| H A D | useraccess.h | 31 bool access_ok(uint8_t type, lvaddr_t buffer, size_t size);
|
| /barrelfish-master/kernel/ |
| H A D | useraccess.c | 26 bool access_ok(uint8_t type, lvaddr_t buffer, size_t size) function
|
| H A D | syscall.c | 677 if (!access_ok(ACCESS_WRITE, (lvaddr_t)out, sizeof(*out))) {
921 if (!access_ok(ACCESS_WRITE, (lvaddr_t)fi, sizeof(struct frame_identity))) {
|
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | syscall.c | 424 if (!access_ok(ACCESS_READ, sa->arg2, sizeof(struct capability))) {
442 if (!access_ok(ACCESS_READ, sa->arg2, sizeof(struct capability))) {
493 if (!access_ok(ACCESS_READ, sa->arg2, sizeof(struct capability))) {
650 if (!access_ok(ACCESS_READ, sa->arg6, sizeof(struct capability))) {
713 if (!access_ok(ACCESS_WRITE, sa->arg2, sizeof(struct platform_info))) {
907 if (!access_ok(ACCESS_WRITE, (lvaddr_t) idp, sizeof(*idp))) {
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | syscall.c | 421 if (!access_ok(ACCESS_READ, sa->arg2, sizeof(struct capability))) {
439 if (!access_ok(ACCESS_READ, sa->arg2, sizeof(struct capability))) {
491 if (!access_ok(ACCESS_READ, sa->arg2, sizeof(struct capability))) {
648 if (!access_ok(ACCESS_READ, sa->arg6, sizeof(struct capability))) {
707 if (!access_ok(ACCESS_WRITE, sa->arg2, sizeof(struct platform_info))) {
|
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | syscall.c | 298 if (!access_ok(ACCESS_READ, args[0], sizeof(struct capability))) {
351 if (!access_ok(ACCESS_READ, args[0], sizeof(struct capability))) {
501 if (!access_ok(ACCESS_READ, args[3], sizeof(struct capability))) {
692 if (!access_ok(ACCESS_WRITE, (lvaddr_t) idp, sizeof(*idp))) {
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | syscall.c | 711 if (!access_ok(ACCESS_WRITE, args[0], sizeof(struct platform_info))) {
|
Completed in 91 milliseconds