alex/foc
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

FOC/L4RE: Upstream revision 47

Browse Source
This commit is contained in:
Sebastian Sumpf
2013-02-20 12:17:17 +01:00
parent 34af60da11
commit b22db346c8
127 changed files with 1856 additions and 1965 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
l4/pkg/libvcpu/lib/src/ARCH-amd64/arch.cc
View File

@@ -22,11 +22,10 @@
void l4vcpu_print_state_arch(l4_vcpu_state_t *vcpu,
const char *prefix) L4_NOTHROW
{
printf("%svcpu=%p ip=%08lx sp=%08lx trapno=%08lx label=%lx\n",
prefix, vcpu, vcpu->r.ip, vcpu->r.sp, vcpu->r.trapno, vcpu->i.label);
printf("%sip=%08lx sp=%08lx trapno=%08lx\n",
prefix, vcpu->r.ip, vcpu->r.sp, vcpu->r.trapno);
printf("%sax=%08lx dx=%08lx bx=%08lx cx=%08lx\n",
prefix, vcpu->r.ax, vcpu->r.dx, vcpu->r.bx, vcpu->r.cx);
printf("%ssi=%08lx di=%08lx bp=%08lx flags=%08lx\n",
prefix, vcpu->r.si, vcpu->r.di, vcpu->r.bp, vcpu->r.flags);
}

1
l4/pkg/libvcpu/lib/src/ARCH-x86/arch.cc
View File

@@ -31,4 +31,3 @@ void l4vcpu_print_state_arch(l4_vcpu_state_t *vcpu,
printf("%sds=%08lx es=%08lx gs=%08lx fs=%08lx\n",
prefix, vcpu->r.ds, vcpu->r.es, vcpu->r.gs, vcpu->r.fs);
}

5
l4/pkg/libvcpu/lib/src/vcpu.cc
View File

@@ -27,8 +27,9 @@ l4vcpu_print_state(l4_vcpu_state_t *vcpu,
{
printf("%svcpu=%p state=%x savedstate=%x label=%lx\n",
prefix, vcpu, vcpu->state, vcpu->saved_state, vcpu->i.label);
printf("%ssticky=%x user_task=%lx\n",
prefix, vcpu->sticky_flags, vcpu->user_task << L4_CAP_SHIFT);
printf("%ssticky=%x user_task=%lx pfa=%lx\n",
prefix, vcpu->sticky_flags, vcpu->user_task << L4_CAP_SHIFT,
vcpu->r.pfa);
printf("%sentry_sp=%lx entry_ip=%lx\n",
prefix, vcpu->entry_sp, vcpu->entry_ip);
l4vcpu_print_state_arch(vcpu, prefix);