  | 
  
    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]);