/* archdep.S COPYRIGHT FUJITSU LIMITED 2017 */
/* TODO: skeleton for UTI */
.global switch_ctx
switch_ctx:
	ret

/* TODO: skeleton for UTI */
.global compare_and_swap
compare_and_swap:
	ret

/* TODO: skeleton for UTI */
.global compare_and_swap_int
compare_and_swap_int:
	ret