The seL4_ARM_Page_Map invocation takes in the page attributes after the page rights. The seL4CP tool that creates the invocations has the correct order so it does not need to change, but because the invocation's fields in the wrong order, the actual invocations that were being generated were wrong.
bennoleslie
commented
1 year ago
The
seL4_ARM_Page_Mapinvocation takes in the page attributes after the page rights. The seL4CP tool that creates the invocations has the correct order so it does not need to change, but because the invocation's fields in the wrong order, the actual invocations that were being generated were wrong.