Constant ZX_RSRC_SYSTEM_CPU_BASE 

pub const ZX_RSRC_SYSTEM_CPU_BASE: u64 = 4 /* 4u64 */;