error in requesting pages from sigma0

View: New views

2 Messages — Rating Filter: Alert me

error in requesting pages from sigma0

by Samreen Hameed :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Hello All,

need you help.

I am trying to call L4_Sigma0_GetPage() to get fpages from sigma0

but when I run the code, it stops at an assertion,

Assertion page_size == 12 failed in file /usr/src/..../arch/mips64/tlb.h line 253

KD# assert

current ASID is 2
.,....

Kindly help, whta could be the problem.

Re: error in requesting pages from sigma0

by Philipp Kupferschmied :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

> need you help.
> I am trying to call L4_Sigma0_GetPage() to get fpages from sigma0
> but when I run the code, it stops at an assertion,
>
> Assertion page_size == 12 failed in file /usr/src/..../arch/mips64/tlb.h
> line 253
>
> KD# assert
> current ASID is 2
> .,....

Seems as if you are working with the MIPS64 version of Pistachio?! This version is marked as discontinued on the L4 web page, and I have no idea to what extent it was or is working.

What page size did you specify in your call to L4_Sigma0_GetPage()?

Philipp