|
P4C
The P4 Compiler
|
Loading...
Searching...
No Matches
24#include <linux/types.h>
26typedef signed char s8;
27typedef unsigned char u8;
28typedef signed short s16;
29typedef unsigned short u16;
30typedef signed int s32;
31typedef unsigned int u32;
32typedef signed long long s64;
33typedef unsigned long long u64;
38static inline void print_n_bytes(
void *receiveBuffer,
int num) {
39 for (
int i = 0; i < num; i++)
40 printf(
"%02x", ((
unsigned char *)receiveBuffer)[i]);