RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

Trivial: style

Browse Source
This commit is contained in:
Adrian Danis
2014-07-21 10:54:39 +10:00
parent c88fc248b5
commit b83be5179c
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/arch/ia32/kernel/vspace.c
View File

@@ -1647,8 +1647,7 @@ decodeIA32FrameInvocation(
}
#endif
case IA32PageGetAddress:
{
case IA32PageGetAddress: {
/* Return it in the first message register. */
assert(n_msgRegisters >= 1);