arch/x86_32/syscall.c

42                                              int cmd, uintptr_t *args)
57                                                   int cmd, uintptr_t *args)
72                                                int cmd, uintptr_t *args)
130 static struct sysret handle_retype(struct capability *root, int cmd, uintptr_t *args)
135 static struct sysret handle_create(struct capability *root, int cmd,
174 static struct sysret handle_mint(struct capability *root, int cmd, uintptr_t *args)
180                                  int cmd, uintptr_t *args)
185 static struct sysret handle_delete(struct capability *root, int cmd, uintptr_t *args)
193                                    int cmd, uintptr_t *args)
201                                       int cmd, uintptr_t *args)
209                                 int cmd, uintptr_t *args)
228                                   int cmd, uintptr_t *args)
246                                             int cmd, uintptr_t *args)
253                                            int cmd, uintptr_t *args)
276                                            int cmd, uintptr_t *args)
295                                                     int cmd, uintptr_t *args)
313                                                 int cmd, uintptr_t *args)
328                                                     int cmd, uintptr_t *args)
336                                                     int cmd, uintptr_t *args)
348                                                      int cmd, uintptr_t *args)
360                                                 int cmd, uintptr_t *args)
369                                                int cmd, uintptr_t *args)
379                                              int cmd, uintptr_t *args)
386                                          int cmd, uintptr_t *args)
395                                          int cmd, uintptr_t *args)
415                                           int cmd, uintptr_t *args)
421                                                   int cmd, uintptr_t *args)
440                                                int cmd, uintptr_t *args)
450                                               int cmd, uintptr_t *args)
465                                         int cmd, uintptr_t *args)
494                                         int cmd, uintptr_t *args)
512                                          int cmd, uintptr_t *args)
521                                                int cmd, uintptr_t *args)
529                                            int cmd, uintptr_t *args)
542 static struct sysret handle_io(struct capability *to, int cmd, uintptr_t *args)
547     return sys_io(to, cmd, port, data);
551                                               int cmd, uintptr_t *args)
560                                            int cmd, uintptr_t *args)
571                                            int cmd, uintptr_t *args)
583                                       int cmd, uintptr_t *args)
594                                         int cmd, uintptr_t *args)
608                                         int cmd, uintptr_t *args)
631 static struct sysret handle_irqsrc_get_vector(struct capability * to, int cmd,
642 static struct sysret handle_irqdest_get_vector(struct capability *to, int cmd,
651 static struct sysret handle_irqdest_connect(struct capability *to, int cmd,
657 static struct sysret handle_irq_table_alloc(struct capability *to, int cmd,
667 static struct sysret handle_irq_table_alloc_dest_cap(struct capability *to, int cmd,
673 static struct sysret handle_irq_table_set(struct capability *to, int cmd, uintptr_t *args)
678 static struct sysret handle_irq_table_delete(struct capability *to, int cmd, uintptr_t *args)
686 static struct sysret handle_idcap_identify(struct capability *cap, int cmd,
699 static struct sysret kernel_send_init_ipi(struct capability *cap, int cmd,
710                                            int cmd,
722                                            int cmd,
734                                          int cmd, uintptr_t *args)
743                                        int cmd, uintptr_t *args)
751                                             int cmd, uintptr_t *args)
758                                              int cmd, uintptr_t *args)
772                                              int cmd, uintptr_t *args)
782                                     int cmd, uintptr_t *args)
791                                        int cmd, uintptr_t *args)
801                                               int cmd, uintptr_t *args)
808                                          int cmd, uintptr_t *args)
814                                               int cmd, uintptr_t *args);
1051             uint8_t cmd = arg0 >> 8;
1052             if (cmd >= CAP_MAX_CMD) {
1058             invocation_handler_t invocation = invocations[to->type][cmd];
1060                 printf("No invocation handler for type = %d, cmd = %d\n", to->type, cmd);
1064                 retval = invocation(to, cmd, args);