Barrelfish: kernel/arch/x86/ipi_notify.c File Reference

Barrelfish

Main Page
Modules
Data Structures
Files

File List
Globals

kernel
arch
x86

ipi_notify.c File Reference

Inter-processor interrupt (IPI) notify mechanism. More...

Detailed Description

Inter-processor interrupt (IPI) notify mechanism.

Generated by

doxygen

1.8.11