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

riscv: fix style

Browse source
This commit is contained in:
Anna Lyons 2018-04-05 11:39:49 +10:00
parent 00cae0baed
commit 937d042395
4 changed files with 8 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
include/arch/riscv/arch/kernel/vspace.h
View file

@ -66,8 +66,8 @@ exception_t checkValidIPCBuffer(vptr_t vptr, cap_t cap);
vm_rights_t CONST maskVMRights(vm_rights_t vm_rights,
seL4_CapRights_t cap_rights_mask);
exception_t decodeRISCVMMUInvocation(word_t label, unsigned int length, cptr_t cptr,
cte_t *cte, cap_t cap, extra_caps_t extraCaps,
word_t *buffer);
cte_t *cte, cap_t cap, extra_caps_t extraCaps,
word_t *buffer);
exception_t performPageTableInvocationMap(cap_t cap, cte_t *ctSlot,
pte_t lvl1pt, pte_t *ptSlot);
exception_t performPageTableInvocationUnmap(cap_t cap, cte_t *ctSlot);

6
libsel4/arch_include/riscv/sel4/arch/syscalls.h
View file

@ -535,7 +535,8 @@ seL4_DebugCapIdentify(seL4_CPtr cap)
char *strcpy(char *, const char *);
LIBSEL4_INLINE_FUNC void
seL4_DebugNameThread(seL4_CPtr tcb, const char *name) {
seL4_DebugNameThread(seL4_CPtr tcb, const char *name)
{
strcpy((char*)seL4_GetIPCBuffer()->msg, name);
seL4_Word unused0 = 0;
@ -552,7 +553,8 @@ seL4_DebugNameThread(seL4_CPtr tcb, const char *name) {
#ifdef SEL4_DANGEROUS_CODE_INJECTION_KERNEL
static inline void
seL4_DebugRun(void (* userfn) (void *), void* userarg) {
seL4_DebugRun(void (* userfn) (void *), void* userarg)
{
register seL4_Word arg1 asm("a0") = (seL4_Word)userfn;
register seL4_Word arg2 asm("a1") = (seL4_Word)userarg;
register seL4_Word scno asm("a7") = seL4_SysDebugRun;

2
src/arch/riscv/api/faults.c
View file

@ -46,7 +46,7 @@ Arch_setMRs_fault(tcb_t *sender, tcb_t* receiver, word_t *receiveIPCBuffer, word
case seL4_Fault_VMFault: {
setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender));
setMR(receiver, receiveIPCBuffer, seL4_VMFault_PrefetchFault,
seL4_Fault_VMFault_get_instructionFault(sender->tcbFault));
seL4_Fault_VMFault_get_instructionFault(sender->tcbFault));
setMR(receiver, receiveIPCBuffer, seL4_VMFault_Addr,
seL4_Fault_VMFault_get_address(sender->tcbFault));
return setMR(receiver, receiveIPCBuffer, seL4_VMFault_FSR,

2
src/plat/spike/machine/io.c
View file

@ -109,7 +109,7 @@ void handle_exception(void)
register word_t thread_context asm("t0");
for (int i = 0; i < 32; i++) {
printf("x%d = %p\n", i, (void*)*(((word_t *) thread_context) + i));
printf("x%d = %p\n", i, (void*) * (((word_t *) thread_context) + i));
}
halt();