error in requesting pages from sigma0

"Samreen Hameed" <[email protected]> Mon, 22 Sep 2008 08:09:02 -0700

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general
Message-ID	<[email protected]>

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.