[seL4] some question about seL4 performance

Hi： I learn the sel4 performance form https://sel4.systems/About/Performance/ I focus on the ARMv8 platform, from the website, the parameters are as follows: ISA Mode Core/SoC/Board Clock IRQ Invoke IPC call IPC reply "Armv8a 64 A57/Tx1/Jetson 1.9 GHz 863 (18) 396(15) 397(4)"

I want to know what is the length of IPC for the record provided on the web page , when test IPC call and reply? 0 or 10? thank you very much