if (!callee.hasKernelSpacePragma()) {  System.out.println("Method '" + currentMethod.getFullName() + "' calls method outside KernelSpace: " + callee.getFullName());
if (currentKernelSpace) { if (!callee.hasKernelSpacePragma()) {   System.out.println("Method calls method outside KernelSpace:\n\tcaller: " + currentMethod.getFullName() + "\n\tcallee: " + callee.getFullName()); } } if (currentUninterruptible) { if (!callee.isUninterruptible()) { if (currentMethod.getDeclaringClass().getName().startsWith("org.jnode.vm.schedule")) {   System.out.println("Method calls interruptible method:\n\tcaller: " + currentMethod.getFullName() + "\n\tcallee: " + callee.getFullName()); } }
    protected final void verifyInvoke(VmConstMethodRef methodRef) {        if (currentKernelSpace) {            // May only call methods with kernelspace pragma.            methodRef.resolve(currentMethod.getDeclaringClass().getLoader());                        final VmMethod callee = methodRef.getResolvedVmMethod();            if (!callee.hasKernelSpacePragma()) {                //throw new ClassFormatError("Method '" + currentMethod + "' calls method outside KernelSpace: " + callee);                System.out.println("Method '" + currentMethod.getFullName() + "' calls method outside KernelSpace: " + callee.getFullName());            }            if (callee.isSynchronized()) {                //throw new ClassFormatError("Method '" + currentMethod + "' calls synchronized method: " + callee);                System.out.println("Method '" + currentMethod.getFullName() + "' calls synchronized method: " + callee.getFullName());            }        }    }