/barrelfish-master/include/barrelfish/ |
H A D | resource_ctrl.h | 24 errval_t rsrc_phase(rsrcid_t id, uint32_t phase);
|
/barrelfish-master/usr/monitor/ |
H A D | resource_ctrl.c | 33 struct rsrc_phase phase[MAX_PHASES]; member in struct:rsrc_domain 101 d->active_phase, (uint8_t *)&d->phase, 102 sizeof(d->phase)); 124 USER_PANIC_ERR(err, "sending phase data"); 137 * \brief Send phase data to specified satellite 149 * \brief Send phase data to all satellites 174 // Send it the phase data 233 int phase = 0; local 248 struct rsrc_phase *rp = &d->phase[phase]; 313 activate_phase(rsrcid_t id, struct rsrc_domain *d, uintptr_t phase, uint64_t timestamp) argument 336 rsrc_phase_cont(struct intermon_binding *b, rsrcid_t id, uintptr_t phase, uint64_t timestamp) argument 373 rsrc_set_phase_inter(rsrcid_t id, uintptr_t phase, uint64_t timestamp) argument 401 rsrc_set_phase(rsrcid_t id, uintptr_t phase) argument [all...] |
H A D | inter.c | 605 uint32_t phase, uint64_t timestamp) 607 errval_t err = rsrc_set_phase_inter(id, phase, timestamp); 614 uint32_t phase, const uint8_t *data, size_t len) 616 errval_t err = rsrc_set_phase_data(id, phase, (CONST_CAST)data, len); 604 inter_rsrc_phase(struct intermon_binding *b, rsrcid_t id, uint32_t phase, uint64_t timestamp) argument 613 inter_rsrc_phase_data(struct intermon_binding *b, rsrcid_t id, uint32_t phase, const uint8_t *data, size_t len) argument
|
/barrelfish-master/usr/bench/rcce/bt/ |
H A D | copy_faces.c | 22 int i, j, k, c, m, p0, p1, phase, local 176 for (phase = 0; phase < 3; phase++) { 178 if (send_color[WESTDIR]==phase) { 181 if (recv_color[WESTDIR]==phase) { 185 if (send_color[EASTDIR]==phase) { 188 if (recv_color[EASTDIR]==phase) { 192 if (send_color[SOUTHDIR]==phase) { 195 if (recv_color[SOUTHDIR]==phase) { [all...] |
H A D | x_solve.c | 85 int phase; local 117 for (phase = 0; phase < 3; phase++) { 119 if (send_color[EASTDIR]==phase) 123 if (recv_color[EASTDIR]==phase) 164 int phase; local 186 for (phase = 0; phase < 3; phase [all...] |
H A D | y_solve.c | 76 int phase; local 106 for (phase = 0; phase < 3; phase++) { 108 if (send_color[NORTHDIR]==phase) 110 if (recv_color[NORTHDIR]==phase) 147 int phase; local 169 for (phase = 0; phase < 3; phase [all...] |
H A D | z_solve.c | 110 int phase; local 140 for (phase = 0; phase < 3; phase++) { 142 if (send_color[TOPDIR]==phase) 144 if (recv_color[TOPDIR]==phase) 181 int phase; local 203 for (phase = 0; phase < 3; phase [all...] |
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embtclmulti.tex | 66 Peer multitasking occur in a {\it multitasking phase}, which is a special 74 peer. A peer multitasking phase is started by calling the predicate 87 During a multitasking phase, control is handed over to a multitasking peer, 91 except at the start (first) and end (last) of a multitasking phase. In 95 with every multitasking phase to allow multitasking phases for different 97 handlers as an argument. At the start of a multitasking phase, a peer 98 should indicate if it is interested in this particular multitasking phase 100 phase, then the multitasking phase enters the end phase afte [all...] |
/barrelfish-master/lib/barrelfish/ |
H A D | resource_ctrl.c | 45 errval_t rsrc_phase(rsrcid_t id, uint32_t phase) argument 48 return b->rpc_tx_vtbl.rsrc_phase(b, id, phase);
|
/barrelfish-master/usr/routing_setup/ |
H A D | rts.c | 186 static enum {NEW_TABLE, SET_TABLE, DONE} phase = NEW_TABLE; local 187 assert(phase == NEW_TABLE || phase == SET_TABLE || phase == DONE); 191 switch (phase) { 197 phase = SET_TABLE; 208 phase = DONE; 221 USER_PANIC("Unexpected value of phase:%u", phase);
|
/barrelfish-master/usr/tests/endpoints/ |
H A D | basic.c | 43 static uint8_t phase = 0; variable 125 phase++; 291 if (phase == 0) { 299 } else if (phase == 2) { 312 phase++; 334 if (is_server && phase == 0) { 336 } else if (is_server && phase == 2) {
|
/barrelfish-master/lib/rcce/ |
H A D | rcce.c | 281 for(int phase = 0; phase < MAX_PHASES; phase++) { 282 printf("%d: Phase %d: ", RCCE_ue(), phase); 284 printf("%lu ", measure_rcce_data[phase][i]);
|
/barrelfish-master/lib/lwip2/src/netif/ppp/ |
H A D | pppol2tp.c | 142 l2tp->phase = PPPOL2TP_STATE_INITIAL; 324 l2tp->phase = PPPOL2TP_STATE_SCCRQ_SENT; 340 l2tp->phase = PPPOL2TP_STATE_INITIAL; 352 if (l2tp->phase < PPPOL2TP_STATE_SCCRQ_SENT) { 361 if (l2tp->phase > PPPOL2TP_STATE_SCCRQ_SENT && l2tp->tunnel_port != port) { 452 if(l2tp->phase != PPPOL2TP_STATE_DATA) { 501 if (l2tp->phase == PPPOL2TP_STATE_ICCN_SENT && l2tp->peer_nr > l2tp->our_ns) { 502 l2tp->phase = PPPOL2TP_STATE_DATA; 539 if (l2tp->phase != PPPOL2TP_STATE_SCCRQ_SENT) { 546 if (l2tp->phase ! [all...] |
H A D | ppp.c | 255 notify_phase_cb(pcb, pcb->phase, pcb->ctx_cb); 262 * This can only be called if PPP is in the dead phase. 271 if (pcb->phase != PPP_PHASE_DEAD) { 291 * This can only be called if PPP is in the dead phase. 297 if (pcb->phase != PPP_PHASE_DEAD) { 328 /* holdoff phase, cancel the reconnection */ 329 if (pcb->phase == PPP_PHASE_HOLDOFF) { 334 /* dead phase, nothing to do, call the status callback to be consistent */ 335 if (pcb->phase == PPP_PHASE_DEAD) { 341 if (pcb->phase > [all...] |
H A D | auth.c | 2 * auth.c - PPP authentication and phase control. 202 and we are proceeding to the network phase. */ 546 * An Open on LCP has requested a change from Dead to Establish phase. 617 * LCP has terminated the link; go to the Dead phase and take the 621 if (pcb->phase == PPP_PHASE_DEAD 623 || pcb->phase == PPP_PHASE_MASTER 705 if (pcb->phase != PPP_PHASE_DEAD 707 && pcb->phase != PPP_PHASE_MASTER 732 * Proceed to the Dead, Authenticate or Network phase as appropriate. 858 * Proceed to the network phase [all...] |
/barrelfish-master/include/lwip2/netif/ppp/ |
H A D | pppol2tp.c | 142 l2tp->phase = PPPOL2TP_STATE_INITIAL; 324 l2tp->phase = PPPOL2TP_STATE_SCCRQ_SENT; 340 l2tp->phase = PPPOL2TP_STATE_INITIAL; 352 if (l2tp->phase < PPPOL2TP_STATE_SCCRQ_SENT) { 361 if (l2tp->phase > PPPOL2TP_STATE_SCCRQ_SENT && l2tp->tunnel_port != port) { 452 if(l2tp->phase != PPPOL2TP_STATE_DATA) { 501 if (l2tp->phase == PPPOL2TP_STATE_ICCN_SENT && l2tp->peer_nr > l2tp->our_ns) { 502 l2tp->phase = PPPOL2TP_STATE_DATA; 539 if (l2tp->phase != PPPOL2TP_STATE_SCCRQ_SENT) { 546 if (l2tp->phase ! [all...] |
H A D | ppp.c | 255 notify_phase_cb(pcb, pcb->phase, pcb->ctx_cb); 262 * This can only be called if PPP is in the dead phase. 271 if (pcb->phase != PPP_PHASE_DEAD) { 291 * This can only be called if PPP is in the dead phase. 297 if (pcb->phase != PPP_PHASE_DEAD) { 328 /* holdoff phase, cancel the reconnection */ 329 if (pcb->phase == PPP_PHASE_HOLDOFF) { 334 /* dead phase, nothing to do, call the status callback to be consistent */ 335 if (pcb->phase == PPP_PHASE_DEAD) { 341 if (pcb->phase > [all...] |
H A D | pppol2tp.h | 166 u8_t phase; /* L2TP phase */ member in struct:pppol2tp_pcb_s
|
H A D | ppp.h | 110 * Values for phase. 318 void (*notify_phase_cb)(ppp_pcb *pcb, u8_t phase, void *ctx); /* Notify phase callback */ 322 u8_t phase; /* where the link is at */ member in struct:ppp_pcb_s 428 * only be called while the PPP is in the dead phase (i.e. disconnected). 593 * Set a PPP notify phase callback. 596 * current phase of the PPP session. 598 typedef void (*ppp_notify_phase_cb_fn)(ppp_pcb *pcb, u8_t phase, void *ctx); 605 * This can only be called if PPP is in the dead phase. 619 * This can only be called if PPP is in the dead phase [all...] |
H A D | auth.c | 2 * auth.c - PPP authentication and phase control. 202 and we are proceeding to the network phase. */ 546 * An Open on LCP has requested a change from Dead to Establish phase. 617 * LCP has terminated the link; go to the Dead phase and take the 621 if (pcb->phase == PPP_PHASE_DEAD 623 || pcb->phase == PPP_PHASE_MASTER 705 if (pcb->phase != PPP_PHASE_DEAD 707 && pcb->phase != PPP_PHASE_MASTER 732 * Proceed to the Dead, Authenticate or Network phase as appropriate. 858 * Proceed to the network phase [all...] |
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | gc.tex | 109 The marking phase consists of finding all accessible objects in the 118 This is the root set from where our marking phase starts. 130 The Mark\&Link phase does two jobs. It can be done in 138 This bit is used by the compaction phase to tell garbage from 172 At the end of the Mark\&Link phase there is a relocation chain 189 After the marking phase the situation is as follows: 216 What is left for the compaction phase is to move the marked objects 229 during the marking phase. 263 marking phase, and if it holds, we only set the MARK bit in the target 265 In the Compact\&Update phase, th [all...] |
/barrelfish-master/usr/eclipseclp/ |
H A D | BUILD_ROTD | 1063 # TESTS_<machine>_<phase> List of test numbers to run on given machine 1064 # in given test phase (see run_all_tests) 1082 phase=1 1084 phase=2 1088 phase=2 1090 phase=1 1118 eval TESTS_${machine}_${phase}=\"'$TESTS_'$machine'_'$phase $n\" 1449 test_machine() { # machine, phase 1456 echo "Testing machine $1 (phase [all...] |
/barrelfish-master/usr/monitor/include/ |
H A D | monitor.h | 187 errval_t rsrc_set_phase(rsrcid_t id, uintptr_t phase); 188 errval_t rsrc_set_phase_inter(rsrcid_t id, uintptr_t phase, uint64_t timestamp);
|
/barrelfish-master/usr/eclipseclp/documents/megalog/ |
H A D | multiuser-sec.tex | 168 \index{two phase locking} 169 Two phase locking uses read and write locks on 173 the first phase of the transaction. The second phase consists
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | modelling.tex | 287 Choices should be deferred until search phase. 305 \item Deferring the choice until the search phase by introducing a
|