pub fn init_gicd(gicd_base: VirtAddr, gicc_base: VirtAddr)
Initializes GICD (for the primary CPU only).