Searched refs:ttbcr_64 (Results 1 – 1 of 1) sorted by relevance
849 uint64_t ttbcr_64; in armv8_read_ttbcr() local892 &ttbcr_64); in armv8_read_ttbcr()893 armv8->va_size = 64 - (ttbcr_64 & 0x3F); in armv8_read_ttbcr()894 armv8->pa_size = armv8_pa_size((ttbcr_64 >> 32) & 7); in armv8_read_ttbcr()895 armv8->page_size = (ttbcr_64 >> 14) & 3; in armv8_read_ttbcr()896 armv8->armv8_mmu.ttbr1_used = (((ttbcr_64 >> 16) & 0x3F) != 0) ? 1 : 0; in armv8_read_ttbcr()