generated-offsets.c 480 B

1234567891011121314151617181920
  1. #include <generated-offsets-build.h>
  2. #include <stddef.h>
  3. #include <shim_internal.h>
  4. #include <shim_tcb.h>
  5. void dummy(void)
  6. {
  7. OFFSET_T(SHIM_TCB_OFFSET, PAL_TCB, libos_tcb);
  8. OFFSET_T(TCB_REGS, shim_tcb_t, context.regs);
  9. OFFSET(SHIM_REGS_RSP, shim_regs, rsp);
  10. OFFSET(SHIM_REGS_R15, shim_regs, r15);
  11. OFFSET(SHIM_REGS_RIP, shim_regs, rip);
  12. DEFINE(SHIM_REGS_SIZE, sizeof(struct shim_regs));
  13. /* definitions */
  14. DEFINE(RED_ZONE_SIZE, RED_ZONE_SIZE);
  15. }