srp_and_ethernet_header_t * h = va_arg (*args, srp_and_ethernet_header_t *);
u32 max_header_bytes = va_arg (*args, u32);
ethernet_main_t * em = ðernet_main;
srp_and_ethernet_header_t * h = va_arg (*args, srp_and_ethernet_header_t *);
u32 max_header_bytes = va_arg (*args, u32);
ethernet_main_t * em = ðernet_main;