arch/arm64/lib/insn.c
Source file repositories/reference/linux-study-clean/arch/arm64/lib/insn.c
File Facts
- System
- Linux kernel
- Corpus path
arch/arm64/lib/insn.c- Extension
.c- Size
- 39009 bytes
- Lines
- 1572
- Domain
- Architecture Layer
- Bucket
- arch/arm64
- Inferred role
- Architecture Layer: implementation source
- Status
- source implementation candidate
Why This File Exists
CPU and platform-specific kernel glue: boot entry, traps, syscall entry, interrupts, page tables, context switch, and low-level barriers.
- CPU and platform-specific kernel glue: boot entry, traps, syscall entry, interrupts, page tables, context switch, and low-level barriers.
- Uses kernel synchronization; read lock ordering, sleepability, and interrupt context assumptions before translating.
Dependency Surface
linux/bitfield.hlinux/bitops.hlinux/bug.hlinux/printk.hlinux/sizes.hlinux/types.hasm/debug-monitors.hasm/errno.hasm/insn.hasm/kprobes.h
Detected Declarations
function Copyrightfunction aarch64_insn_decode_immediatefunction aarch64_insn_encode_immediatefunction aarch64_insn_decode_registerfunction aarch64_insn_encode_registerfunction aarch64_insn_encode_ldst_sizefunction label_imm_commonfunction aarch64_insn_gen_branch_immfunction aarch64_insn_gen_comp_branch_immfunction aarch64_insn_gen_cond_branch_immfunction aarch64_insn_gen_branch_regfunction aarch64_insn_gen_load_store_regfunction aarch64_insn_gen_load_store_immfunction aarch64_insn_gen_load_literalfunction aarch64_insn_gen_load_store_pairfunction aarch64_insn_gen_load_acq_store_relfunction aarch64_insn_gen_load_store_exfunction aarch64_insn_encode_ldst_orderfunction aarch64_insn_gen_atomic_ld_opfunction aarch64_insn_encode_cas_orderfunction aarch64_insn_gen_casfunction aarch64_insn_gen_add_sub_immfunction aarch64_insn_gen_bitfieldfunction aarch64_insn_gen_movewidefunction aarch64_insn_gen_add_sub_shifted_regfunction aarch64_insn_gen_data1function aarch64_insn_gen_data2function aarch64_insn_gen_data3function aarch64_insn_gen_logical_shifted_regfunction MOVfunction aarch64_insn_gen_adrfunction valuefunction aarch64_set_branch_offsetfunction aarch64_insn_adrp_get_offsetfunction aarch64_insn_adrp_set_offsetfunction aarch64_insn_extract_system_regfunction aarch32_insn_is_widefunction aarch32_insn_extract_reg_numfunction aarch32_insn_mcr_extract_opc2function aarch32_insn_mcr_extract_crmfunction range_of_onesfunction aarch64_encode_immediatefunction aarch64_insn_gen_logical_immediatefunction aarch64_insn_gen_extrfunction __get_barrier_crm_valfunction aarch64_insn_gen_dmbfunction aarch64_insn_gen_dsbfunction aarch64_insn_gen_mrs
Annotated Snippet
if (aarch64_get_imm_shift_mask(type, &mask, &shift) < 0) {
pr_err("%s: unknown immediate encoding %d\n", __func__,
type);
return 0;
}
}
return (insn >> shift) & mask;
}
u32 __kprobes aarch64_insn_encode_immediate(enum aarch64_insn_imm_type type,
u32 insn, u64 imm)
{
u32 immlo, immhi, mask;
int shift;
if (insn == AARCH64_BREAK_FAULT)
return AARCH64_BREAK_FAULT;
switch (type) {
case AARCH64_INSN_IMM_ADR:
shift = 0;
immlo = (imm & ADR_IMM_LOMASK) << ADR_IMM_LOSHIFT;
imm >>= ADR_IMM_HILOSPLIT;
immhi = (imm & ADR_IMM_HIMASK) << ADR_IMM_HISHIFT;
imm = immlo | immhi;
mask = ((ADR_IMM_LOMASK << ADR_IMM_LOSHIFT) |
(ADR_IMM_HIMASK << ADR_IMM_HISHIFT));
break;
default:
if (aarch64_get_imm_shift_mask(type, &mask, &shift) < 0) {
pr_err("%s: unknown immediate encoding %d\n", __func__,
type);
return AARCH64_BREAK_FAULT;
}
}
/* Update the immediate field. */
insn &= ~(mask << shift);
insn |= (imm & mask) << shift;
return insn;
}
u32 aarch64_insn_decode_register(enum aarch64_insn_register_type type,
u32 insn)
{
int shift;
switch (type) {
case AARCH64_INSN_REGTYPE_RT:
case AARCH64_INSN_REGTYPE_RD:
shift = 0;
break;
case AARCH64_INSN_REGTYPE_RN:
shift = 5;
break;
case AARCH64_INSN_REGTYPE_RT2:
case AARCH64_INSN_REGTYPE_RA:
shift = 10;
break;
case AARCH64_INSN_REGTYPE_RM:
shift = 16;
break;
default:
pr_err("%s: unknown register type encoding %d\n", __func__,
type);
return 0;
}
return (insn >> shift) & GENMASK(4, 0);
}
static u32 aarch64_insn_encode_register(enum aarch64_insn_register_type type,
u32 insn,
enum aarch64_insn_register reg)
{
int shift;
if (insn == AARCH64_BREAK_FAULT)
return AARCH64_BREAK_FAULT;
if (reg < AARCH64_INSN_REG_0 || reg > AARCH64_INSN_REG_SP) {
pr_err("%s: unknown register encoding %d\n", __func__, reg);
return AARCH64_BREAK_FAULT;
}
switch (type) {
case AARCH64_INSN_REGTYPE_RT:
case AARCH64_INSN_REGTYPE_RD:
Annotation
- Immediate include surface: `linux/bitfield.h`, `linux/bitops.h`, `linux/bug.h`, `linux/printk.h`, `linux/sizes.h`, `linux/types.h`, `asm/debug-monitors.h`, `asm/errno.h`.
- Detected declarations: `function Copyright`, `function aarch64_insn_decode_immediate`, `function aarch64_insn_encode_immediate`, `function aarch64_insn_decode_register`, `function aarch64_insn_encode_register`, `function aarch64_insn_encode_ldst_size`, `function label_imm_common`, `function aarch64_insn_gen_branch_imm`, `function aarch64_insn_gen_comp_branch_imm`, `function aarch64_insn_gen_cond_branch_imm`.
- Atlas domain: Architecture Layer / arch/arm64.
- Implementation status: source implementation candidate.
- Synchronization appears in or near this file; preserve lock ordering, sleepability, and interrupt-context constraints.
Implementation Notes
- This generated page is the file-by-file coverage layer; curated subsystem chapters should link here when they synthesize a multi-file control flow.
- Core OS pages should be promoted from atlas-only to deep-reviewed when they explain data structures, invariants, locking, lifecycle, and C implementation snippets.
- Driver-family pages are intentionally pattern-oriented unless they are part of the selected PCIe/NVMe representative device path.