Barrelfish
Data Fields
global Struct Reference

Struct passed to app_cores during boot. Contains information that the bsp_kernel wants to pass to the app_kernels. More...

Data Fields

struct {
   spinlock_t   print
 Lock for printing.
 
locks
 Shared locks between the kernels.
 
struct {
   spinlock_t   print
 Lock for printing.
 
locks
 Shared locks between the kernels.
 
struct {
   spinlock_t   print
 Lock for printing.
 
locks
 Shared locks between the kernels.
 
struct {
   spinlock_t   print
 Lock for printing.
 
locks
 Shared locks between the kernels.
 

Detailed Description

Struct passed to app_cores during boot. Contains information that the bsp_kernel wants to pass to the app_kernels.

State shared between CPU drivers By design, this should be empty. A spinlock for kernel debug printing is our only concession to shared state.


The documentation for this struct was generated from the following file: