Exemplos de check_dispatch_interface em C++ (Cpp)

Exemplo n.º 1

Arquivo: serv_dispatch.c Projeto: Zolok/refos

int
check_dispatch_serv(srv_msg_t *m, void **userptr)
{
    int label = seL4_GetMR(0);
    if (label == RPC_SERV_CONNECT_DIRECT && m->badge != 0) {
        return DISPATCH_PASS;
    }
    return check_dispatch_interface(m, userptr, RPC_SERV_LABEL_MIN, RPC_SERV_LABEL_MAX);
}

Exemplo n.º 2

Arquivo: data_syscall.c Projeto: Zolok/refos

int
check_dispatch_dataspace(struct procserv_msg *m, void **userptr)
{
    return check_dispatch_interface(m, userptr, RPC_DATA_LABEL_MIN, RPC_DATA_LABEL_MAX);
}

Exemplo n.º 3

Arquivo: proc_syscall.c Projeto: buaakq/RefOS

int
check_dispatch_syscall(struct procserv_msg *m, void **userptr) {
    return check_dispatch_interface(m, userptr, RPC_PROC_LABEL_MIN, RPC_PROC_LABEL_MAX);
}

Exemplo n.º 4

Arquivo: dspace.c Projeto: Zolok/refos

int
check_dispatch_data(srv_msg_t *m, void **userptr)
{
    return check_dispatch_interface(m, userptr, RPC_DATA_LABEL_MIN, RPC_DATA_LABEL_MAX);
}