/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/templates/ |
H A D | picotcp-ethernet-async-server-init.template.c | 18 void default_get_mac(uint8_t *b1, uint8_t *b2, uint8_t *b3, uint8_t *b4, uint8_t *b5, uint8_t *b6, void *cookie) { argument 32 void /*? configuration[me.parent.name].get('connection_name') ?*/_control_mac(uint8_t *b1, uint8_t *b2, uint8_t *b3, uint8_t *b4, uint8_t *b5, uint8_t *b6) { argument 34 get_mac_dispatch(b1, b2, b3, b4, b5, b6, get_mac_dispatch_cookie);
|
/seL4-camkes-master/projects/lwip/src/include/lwip/prot/ |
H A D | ethernet.h | 69 #define ETH_ADDR(b0, b1, b2, b3, b4, b5) {{b0, b1, b2, b3, b4, b5}}
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/include/ |
H A D | picotcp-ethernet-async.h | 29 typedef void(*get_mac_server_fn_t)(uint8_t *b1, uint8_t *b2, uint8_t *b3, uint8_t *b4, uint8_t *b5, uint8_t *b6, 31 typedef void(*get_mac_client_fn_t)(uint8_t *b1, uint8_t *b2, uint8_t *b3, uint8_t *b4, uint8_t *b5, uint8_t *b6);
|
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_config.h | 122 uint32_t b0, b1, b2; local 125 b2 = b[2]; 126 be = b[3] + (b2 << 8) + (b1 << 16) + (b0 << 24); 133 uint64_t b0, b1, b2, b3, b4, b5, b6; local 136 b2 = b[2]; 141 be = b[7] + (b6 << 8) + (b5 << 16) + (b4 << 24) + (b3 << 32) + (b2 << 40) + (b1 << 48) + (b0 << 56);
|
H A D | pico_frame.h | 107 uint16_t pico_dualbuffer_checksum(void *b1, uint32_t len1, void *b2, uint32_t len2);
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage7.py | 384 component Baz b2; 385 connection C con(from b2.p, to b.p); 394 b, b2, f = assembly.composition.instances 398 self.assertEqual(b2.name, 'b2') 399 self.assertIs(b2.type, Baz) 410 self.assertIs(con.from_end.instance, b2)
|
/seL4-camkes-master/projects/musllibc/src/math/ |
H A D | lgammal.c | 115 b2 = 4.553337477045763320522762343132210919277E3L, variable 293 p2 = b0 + y * (b1 + y * (b2 + y * (b3 + y * (b4 + y))));
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/ |
H A D | server.c | 122 static void client_get_mac(uint8_t *b1, uint8_t *b2, uint8_t *b3, uint8_t *b4, uint8_t *b5, uint8_t *b6, void *cookie) argument 126 *b2 = state->hw_mac[1];
|
/seL4-camkes-master/projects/global-components/components/Ethdriver/src/ |
H A D | ethdriver.c | 349 void client_mac(uint8_t *b1, uint8_t *b2, uint8_t *b3, uint8_t *b4, uint8_t *b5, uint8_t *b6) argument 361 *b2 = client->mac[1];
|
/seL4-camkes-master/kernel/src/arch/x86/32/ |
H A D | traps.S | 273 INT_HANDLER_WITHOUT_ERR_CODE(b2)
|
/seL4-camkes-master/kernel/src/arch/x86/64/ |
H A D | traps.S | 365 INT_HANDLER_WITHOUT_ERR_CODE(b2,0)
|
/seL4-camkes-master/tools/cogent/cogent/doc/ |
H A D | doc.tex | 1591 % ; so2', a2, b2 <- open so2 1592 % ; raiseErr not(a1 == a2 && b1 == b2) 1597 % ; so2 <- close so2' {a = a2, b = b2}
|