HelenOS sources

HV_EOK            145 kernel/arch/sparc64/src/drivers/niagara.c 	if (__hypercall_fast_ret1(0, 0, 0, 0, 0, CONS_GETCHAR, &c) == HV_EOK) {
HV_EOK            359 kernel/arch/sparc64/src/mm/sun4v/tlb.c 	if (errno != HV_EOK)
HV_EOK            314 kernel/arch/sparc64/src/sun4v/md.c 	if (retval != HV_EOK) {
HV_EOK             87 kernel/arch/sparc64/src/trap/sun4v/interrupt.c 	    CPU_MONDO_NENTRIES) != HV_EOK)