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

x86: Rename decodeIA32PortOperation->decodeX86PortOperation

Browse Source
This commit is contained in:
Adrian Danis
2016-01-11 15:27:01 +11:00
committed by Adrian Danis
parent 9641565629
commit 43772b2dc2
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
include/arch/x86/arch/object/ioport.h
View File

@@ -17,6 +17,6 @@
#define NUM_IO_PORTS BIT(16)
exception_t decodeIA32PortInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t* buffer);
exception_t decodeX86PortInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t* buffer);
#endif

2
src/arch/x86/object/ioport.c
View File

@@ -37,7 +37,7 @@ ensurePortOperationAllowed(cap_t cap, uint32_t start_port, uint32_t size)
}
exception_t
decodeIA32PortInvocation(
decodeX86PortInvocation(
word_t invLabel,
word_t length,
cptr_t cptr,

2
src/arch/x86/object/objecttype.c
View File

@@ -447,7 +447,7 @@ Arch_decodeInvocation(
case cap_asid_pool_cap:
return decodeX86MMUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
case cap_io_port_cap:
return decodeIA32PortInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
return decodeX86PortInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
case cap_io_space_cap:
return decodeX86IOSpaceInvocation(invLabel, cap);
case cap_io_page_table_cap: