table64 23 arch/arm64/include/asm/kvm_coproc.h struct kvm_sys_reg_table table64; table64 2002 arch/arm64/kvm/sys_regs.c *num = table->table64.num; table64 2003 arch/arm64/kvm/sys_regs.c return table->table64.table; table64 54 arch/arm64/kvm/sys_regs_generic_v8.c .table64 = { table64 517 drivers/firmware/efi/efi.c u64 table64; table64 519 drivers/firmware/efi/efi.c table64 = ((efi_config_table_64_t *)tablep)->table; table64 520 drivers/firmware/efi/efi.c table = table64; table64 522 drivers/firmware/efi/efi.c if (table64 >> 32) {