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