blob: 015a2f2b542dd2eaa894e01b3f271832aac5324c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
/* SPDX-License-Identifier: GPL-2.0-only */
#ifndef _COMMON_STACK_H_
#define _COMMON_STACK_H_
#include <stdint.h>
static inline void *stack_push32(void *stack, uint32_t value)
{
uint32_t *stack32 = stack;
stack32 = &stack32[-1];
*stack32 = value;
return stack32;
}
#endif /* _COMMON_STACK_H_ */
|