diff options
Diffstat (limited to 'extras/mini-os/arch/ia64/common.c')
| -rw-r--r-- | extras/mini-os/arch/ia64/common.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/arch/ia64/common.c b/extras/mini-os/arch/ia64/common.c index 45b770326c..c82e604bac 100644 --- a/extras/mini-os/arch/ia64/common.c +++ b/extras/mini-os/arch/ia64/common.c @@ -68,7 +68,7 @@ char boot_cmd_line[COMMAND_LINE_SIZE+1]; void -ia64_write_itr_i(ia64_pte_t* pteP, u32 reg, uint64_t vAddr, +ia64_write_itr_i(ia64_pte_t* pteP, uint32_t reg, uint64_t vAddr, uint64_t ps, uint64_t pk) { /* The virtual address. */ |