22 sdt_tracepoint_valid(uintptr_t patchpoint, uintptr_t target)  in sdt_tracepoint_valid()  argument
27 	if (!arm64_get_writable_addr((void *)patchpoint, &addr))  in sdt_tracepoint_valid()
30 	if (patchpoint == target ||  in sdt_tracepoint_valid()
31 	    (patchpoint & (INSN_SIZE - 1)) != 0 ||  in sdt_tracepoint_valid()
34 	offset = target - patchpoint;  in sdt_tracepoint_valid()
45 sdt_tracepoint_patch(uintptr_t patchpoint, uintptr_t target)  in sdt_tracepoint_patch()  argument
50 	KASSERT(sdt_tracepoint_valid(patchpoint, target),  in sdt_tracepoint_patch()
52 	    __func__, patchpoint, target));  in sdt_tracepoint_patch()
54 	if (!arm64_get_writable_addr((void *)patchpoint, &addr))  in sdt_tracepoint_patch()
57 	instr = (((target - patchpoint) >> 2) & 0x3fffffful) | 0x14000000;  in sdt_tracepoint_patch()
59 	cpu_icache_sync_range((void *)patchpoint, INSN_SIZE);  in sdt_tracepoint_patch()
66 sdt_tracepoint_restore(uintptr_t patchpoint)  in sdt_tracepoint_restore()  argument
71 	if (!arm64_get_writable_addr((void *)patchpoint, &addr))  in sdt_tracepoint_restore()
76 	cpu_icache_sync_range((void *)patchpoint, INSN_SIZE);  in sdt_tracepoint_restore()