Question about seL4_ARCH_PageTable_Map() in the dynamic-2 TASK 4

[mincheolsung]

Hi,

Why is the ipc_buffer_vaddr put in seL4_ARCH_PageTable_Map()?
ipc_buffer_vaddr is the virtual address of the new physical frame allocated for the IPC buffer.
I think seL4_ARCH_PageTable_Map's 3rd parameter is the virtual address of the page table frame.

Mincheol