Re: [Minios-devel] [UNIKRAFT PATCH 5/8] plat/*: Set current thread on IRQ stack

[Florian Schmidt <Florian.Schmidt@xxxxxxxxx>]

Hi Costin,

I have one problem with this patch:

On 4/23/19 12:41 PM, Costin Lupu wrote:
> +void ukplat_stack_set_current_thread(void *thread_addr)
> +{
> +       *((unsigned long *) _libkvmplat_stack_top) = (unsigned long) 
> thread_addr;
> +}
This doesn't compile for me because _libkvmplat_stack_top is undeclared. 
I also don't see it in the following patches. Did something get lost here?
Cheers,
Florian

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel