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

x86: Fix pointer casts for PT and PD caps

Browse Source 
The commit is based on PR #185 by laokz.

Co-authored-by: laokz <laokz@foxmail.com>

Signed-off-by: Yanyan Shen <yshen@cog.systems>
This commit is contained in:
Yanyan Shen
2020-06-22 21:12:30 +10:00
parent 9a45a83682
commit 30e2568fcf
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
include/arch/x86/arch/object/structures.h
View File

@@ -255,10 +255,10 @@ static inline void *CONST cap_get_archCapPtr(cap_t cap)
return (void *)(cap_frame_cap_get_capFBasePtr(cap));
case cap_page_table_cap:
return PD_PTR(cap_page_table_cap_get_capPTBasePtr(cap));
return PT_PTR(cap_page_table_cap_get_capPTBasePtr(cap));
case cap_page_directory_cap:
return PT_PTR(cap_page_directory_cap_get_capPDBasePtr(cap));
return PD_PTR(cap_page_directory_cap_get_capPDBasePtr(cap));
case cap_io_port_cap:
return NULL;