1234567891011121314151617181920 |
- #include <generated-offsets-build.h>
- #include <stddef.h>
- #include <shim_internal.h>
- #include <shim_tcb.h>
- void dummy(void)
- {
- OFFSET_T(SHIM_TCB_OFFSET, PAL_TCB, libos_tcb);
- OFFSET_T(TCB_REGS, shim_tcb_t, context.regs);
- OFFSET(SHIM_REGS_RSP, shim_regs, rsp);
- OFFSET(SHIM_REGS_R15, shim_regs, r15);
- OFFSET(SHIM_REGS_RIP, shim_regs, rip);
- DEFINE(SHIM_REGS_SIZE, sizeof(struct shim_regs));
- /* definitions */
- DEFINE(RED_ZONE_SIZE, RED_ZONE_SIZE);
- }
|