coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
Functions
stack.h File Reference
#include <stdint.h>
Include dependency graph for stack.h:

Go to the source code of this file.

Functions

static void * stack_push32 (void *stack, uint32_t value)
 

Function Documentation

◆ stack_push32()

static void* stack_push32 ( void *  stack,
uint32_t  value 
)
inlinestatic

Definition at line 8 of file stack.h.

References value.