pub const VIRQ_PCPU_STATE: u32 = 9;