portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #438 in SEL4/sel4 from ~ADANIS/sel4:init to master

Browse source 
* commit 'df1f021cc6b14c0efc969a8c377d27db74b3fc96':
  Let aarch32 CallWithMRs
This commit is contained in:
Adrian Danis 2016-10-27 02:54:46 +00:00
commit 87efb8fca1
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h
View file

@ -340,10 +340,10 @@ seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo,
seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
{
seL4_MessageInfo_t info;
seL4_Word msg0;
seL4_Word msg1;
seL4_Word msg2;
seL4_Word msg3;
seL4_Word msg0 = 0;
seL4_Word msg1 = 0;
seL4_Word msg2 = 0;
seL4_Word msg3 = 0;
/* Load beginning of the message into registers. */
if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) {