SYNC_REGS_SIZE_BYTES
BUILD_BUG_ON(sizeof(struct kvm_sync_regs) > SYNC_REGS_SIZE_BYTES);
char padding[SYNC_REGS_SIZE_BYTES];