fix bugs

kernel/src/syscall/invocation/decode/arch/aarch64.rs

@@ -264,6 +264,7 @@ fn decode_frame_invocation(
     call: bool,
     buffer: &seL4_IPCBuffer,
 ) -> exception_t {
+	// sel4_common::println!("decode frame invocation {}",label as usize);
     match label {
         MessageLabel::ARMPageMap => decode_frame_map(length, frame_slot, buffer),
         MessageLabel::ARMPageUnmap => {

kernel/src/syscall/invocation/decode/decode_cnode_invocation.rs

@@ -27,6 +27,7 @@ pub fn decode_cnode_invocation(
     capability: &cap_cnode_cap,
     buffer: &seL4_IPCBuffer,
 ) -> exception_t {
+	// sel4_common::println!("decode cnode invocation {}",invLabel as usize);
     if invLabel < MessageLabel::CNodeRevoke || invLabel as usize > CNODE_LAST_INVOCATION {
         debug!("CNodeCap: Illegal Operation attempted.");
         unsafe {

kernel/src/syscall/invocation/decode/decode_sched_invocation.rs

@@ -41,7 +41,7 @@ pub fn decode_sched_context_invocation(
     capability: &cap_sched_context_cap,
     buffer: &seL4_IPCBuffer,
 ) -> exception_t {
-    println!("go into decode sched context invocation");
+    // println!("go into decode sched context invocation");
     let sc = convert_to_mut_type_ref::<sched_context_t>(capability.get_capSCPtr() as usize);
     match inv_label {
         MessageLabel::SchedContextConsumed => {

kernel/src/syscall/mod.rs

@@ -157,7 +157,7 @@ pub fn handleSyscall(_syscall: usize) -> exception_t {
     // if hart_id() == 0 {
     //     debug!("handle syscall: {}", syscall);
     // }
-    // sel4_common::println!("handle syscall");
+    // sel4_common::println!("handle syscall {}",syscall);
     updateTimestamp();
     if likely(checkBudgetRestart()) {
         match syscall {

sel4_cspace/src/cte.rs

@@ -67,6 +67,7 @@ impl cte_t {
                     ret.capability = capability.clone();
                 }
             }
+			#[cfg(not(feature="KERNEL_MCS"))]
             cap_tag::cap_reply_cap => {
                 ret.capability = cap_null_cap::new().unsplay();
             }