VerifyKernelHeader() fills a KernelImage*

src/platform/vboot_reference/vboot_firmware/lib/stateful_util.c

 /* Copyright (c) 2010 The Chromium OS Authors. All rights reserved.
  * Use of this source code is governed by a BSD-style license that can be
  * found in the LICENSE file.
  *
  * Stub implementations of utility functions which call their linux-specific
  * equivalents.
  */
 
 #include "stateful_util.h"
 
 #include <stdarg.h>
 #include <stdio.h>
 #include <stdlib.h>
 
+void* StatefulSkip(MemcpyState* state, uint64_t len) {
+  if (state->overrun)
+    return NULL;
+  if (len > state->remaining_len) {
+    state->overrun = 1;
+    return NULL;
+  }
+  state->remaining_buf += len;
+  state->remaining_len -= len;
+  return state;                         // have to return something non-NULL
+}
+
 void* StatefulMemcpy(MemcpyState* state, void* dst,
                      uint64_t len) {
   if (state->overrun)
     return NULL;
   if (len > state->remaining_len) {
     state->overrun = 1;
     return NULL;
   }
   Memcpy(dst, state->remaining_buf, len);
   state->remaining_buf += len;
@@ skipping 21 matching lines @@
     return NULL;
   if (len > state->remaining_len) {
     state->overrun = 1;
     return NULL;
   }
   Memset(state->remaining_buf, val, len);
   state->remaining_buf += len;
   state->remaining_len -= len;
   return state;                         // have to return something non-NULL
 }