Searched refs:vga_rsvd (Results 1 – 2 of 2) sorted by relevance
134 uint32_t vga_rsvd = 8 << ((readl(MMC_BASE + 0x04) >> 2) & 0x3); in board_add_ram_info() local139 vga_rsvd = 0; in board_add_ram_info()142 vga_rsvd, ecc == 1 ? "on" : "off"); in board_add_ram_info()
213 u32 vga_rsvd = ast_sdmc_get_vram_size() >> 20; in board_add_ram_info() local217 printf(" (capacity:%d MiB, VGA:%d MiB, ECC:%s", act_size, vga_rsvd, in board_add_ram_info()