build/has/builtin-riscv-pause.c


1
2
3
4
5
6
7

// Copyright © Tavian Barnes <tavianator@tavianator.com>
// SPDX-License-Identifier: 0BSD

int main(void) {
	__builtin_riscv_pause();
	return 0;
}