HelenOS sources

badvaddr           78 kernel/arch/amd64/src/mm/page.c 	uintptr_t badvaddr = read_cr2();
badvaddr           92 kernel/arch/amd64/src/mm/page.c 	(void) as_page_fault(badvaddr, access, istate);
badvaddr          138 kernel/arch/arm32/src/mm/page_fault.c     uintptr_t badvaddr)
badvaddr          149 kernel/arch/arm32/src/mm/page_fault.c 		    *(uint32_t *)instr_union.instr, (void *) badvaddr);
badvaddr          188 kernel/arch/arm32/src/mm/page_fault.c 	    inst, (void *) badvaddr);
badvaddr          200 kernel/arch/arm32/src/mm/page_fault.c 	const uintptr_t badvaddr = DFAR_read();
badvaddr          232 kernel/arch/arm32/src/mm/page_fault.c 		    "%#x.", dfsr_source_to_str(source), badvaddr);
badvaddr          234 kernel/arch/arm32/src/mm/page_fault.c 		    dfsr_source_to_str(source), badvaddr);
badvaddr          241 kernel/arch/arm32/src/mm/page_fault.c 	const pf_access_t access = get_memory_access_type(istate->pc, badvaddr);
badvaddr          245 kernel/arch/arm32/src/mm/page_fault.c 	as_page_fault(badvaddr, access, istate);
badvaddr           84 kernel/arch/ia32/src/mm/page.c 	uintptr_t badvaddr;
badvaddr           87 kernel/arch/ia32/src/mm/page.c 	badvaddr = read_cr2();
badvaddr           97 kernel/arch/ia32/src/mm/page.c 	(void) as_page_fault(badvaddr, access, istate);
badvaddr          117 kernel/arch/mips32/include/arch/cp0.h GEN_READ_CP0(badvaddr, 8);
badvaddr           98 kernel/arch/mips32/src/mm/tlb.c 	uintptr_t badvaddr;
badvaddr          101 kernel/arch/mips32/src/mm/tlb.c 	badvaddr = cp0_badvaddr_read();
badvaddr          103 kernel/arch/mips32/src/mm/tlb.c 	bool found = page_mapping_find(AS, badvaddr, true, &pte);
badvaddr          113 kernel/arch/mips32/src/mm/tlb.c 		page_mapping_update(AS, badvaddr, true, &pte);
badvaddr          118 kernel/arch/mips32/src/mm/tlb.c 		if (BANK_SELECT_BIT(badvaddr) == 0) {
badvaddr          130 kernel/arch/mips32/src/mm/tlb.c 	(void) as_page_fault(badvaddr, PF_ACCESS_READ, istate);
badvaddr          141 kernel/arch/mips32/src/mm/tlb.c 	uintptr_t badvaddr;
badvaddr          164 kernel/arch/mips32/src/mm/tlb.c 	badvaddr = cp0_badvaddr_read();
badvaddr          166 kernel/arch/mips32/src/mm/tlb.c 	bool found = page_mapping_find(AS, badvaddr, true, &pte);
badvaddr          181 kernel/arch/mips32/src/mm/tlb.c 		page_mapping_update(AS, badvaddr, true, &pte);
badvaddr          186 kernel/arch/mips32/src/mm/tlb.c 		if (BANK_SELECT_BIT(badvaddr) == 0)
badvaddr          194 kernel/arch/mips32/src/mm/tlb.c 	(void) as_page_fault(badvaddr, PF_ACCESS_READ, istate);
badvaddr          205 kernel/arch/mips32/src/mm/tlb.c 	uintptr_t badvaddr;
badvaddr          208 kernel/arch/mips32/src/mm/tlb.c 	badvaddr = cp0_badvaddr_read();
badvaddr          225 kernel/arch/mips32/src/mm/tlb.c 		    PRIxn ", ASID=%d).\n", __func__, badvaddr,
badvaddr          230 kernel/arch/mips32/src/mm/tlb.c 	bool found = page_mapping_find(AS, badvaddr, true, &pte);
badvaddr          246 kernel/arch/mips32/src/mm/tlb.c 		page_mapping_update(AS, badvaddr, true, &pte);
badvaddr          251 kernel/arch/mips32/src/mm/tlb.c 		if (BANK_SELECT_BIT(badvaddr) == 0)
badvaddr          259 kernel/arch/mips32/src/mm/tlb.c 	(void) as_page_fault(badvaddr, PF_ACCESS_WRITE, istate);
badvaddr           57 kernel/arch/ppc32/src/mm/pht.c static bool find_mapping_and_check(as_t *as, uintptr_t badvaddr, int access,
badvaddr           63 kernel/arch/ppc32/src/mm/pht.c 	bool found = page_mapping_find(as, badvaddr, true, pte);
badvaddr           75 kernel/arch/ppc32/src/mm/pht.c 	if (as_page_fault(badvaddr, access, istate) == AS_PF_OK) {
badvaddr           80 kernel/arch/ppc32/src/mm/pht.c 		found = page_mapping_find(as, badvaddr, true, pte);
badvaddr          182 kernel/arch/ppc32/src/mm/pht.c 	uintptr_t badvaddr;
badvaddr          185 kernel/arch/ppc32/src/mm/pht.c 		badvaddr = istate->dar;
badvaddr          187 kernel/arch/ppc32/src/mm/pht.c 		badvaddr = istate->pc;
badvaddr          190 kernel/arch/ppc32/src/mm/pht.c 	bool found = find_mapping_and_check(AS, badvaddr,
badvaddr          196 kernel/arch/ppc32/src/mm/pht.c 		pht_insert(badvaddr, &pte);
badvaddr           54 kernel/arch/ppc32/src/mm/tlb.c 	uint32_t badvaddr = tlbmiss & 0xfffffffc;
badvaddr           57 kernel/arch/ppc32/src/mm/tlb.c 	if ((badvaddr < PA2KA(0)) || (badvaddr >= PA2KA(physmem)))
badvaddr           60 kernel/arch/ppc32/src/mm/tlb.c 	ptelo.rpn = KA2PA(badvaddr) >> 12;
badvaddr          117 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_READ_CP0(badvaddr, 8);