extern void be_memory_inline_jit_restrict_rwx_to_rw_with_witness_impl(void)
extern void be_memory_inline_jit_restrict_rwx_to_rx_with_witness_impl(void)
extern int be_memory_inline_jit_restrict_with_witness_supported(void)
inline void be_memory_inline_jit_restrict_rwx_to_rw_with_witness(void) {
asm volatile ("adr x0, %=2f\nmovz x1, #((0x4a4954l >> 0) & 0xFFFF), lsl #0 \nmovk x1, #((0x4a4954l >> 16) & 0xFFFF), lsl #16\nmov x30, x1\n.int 0xd503235f\ncmp x30, x1\nbeq %=1f\n.int 0xdac10420\n%=1:\nbl _be_memory_inline_jit_restrict_rwx_to_rw_with_witness_impl\n%=2:\nnop\n" : : : "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", "r8", "r16", "r17", "lr", "memory", "cc");
}
inline void be_memory_inline_jit_restrict_rwx_to_rx_with_witness(void) {
asm volatile ("bl _be_memory_inline_jit_restrict_rwx_to_rx_with_witness_impl\n%=:\nnop\n" : : : "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", "r8", "r16", "r17", "lr", "memory", "cc");
}