/* We need a helper to "push" a value onto the Guest's stack, since that's a big part of what delivering an interrupt does.  */
static void push_guest_stack(struct lg_cpu *cpu, unsigned long *gstack, u32 val)
/* We need a helper to "push" a value onto the Guest's stack, since that's a big part of what delivering an interrupt does.  */
static void push_guest_stack(struct lg_cpu *cpu, unsigned long *gstack, u32 val)
{
	*gstack -= 4;
	lgwrite(cpu, *gstack, u32, val);
}