[seL4] Why vppi is sent from kernel to vmm by fault endpoint but not by notification ?

hello devel, Why vppi , such as vtimer interrupt to guest, is sent from kernel to vmm by fault endpoint but not by notification? I see that spi to guest is sent from kernel to vmm by notification. thank you.