Searched defs:kbs (Results 1 – 2 of 2) sorted by relevance
309 unsigned long *kbs = (void *) current + IA64_RBS_OFFSET; in set_rse_reg() local382 unsigned long *kbs = (void *) current + IA64_RBS_OFFSET; in get_rse_reg() local
300 unsigned long *kbs = (void *) current_vcpu + VMM_RBS_OFFSET; in get_rse_reg() local342 unsigned long *kbs = (void *) current_vcpu + VMM_RBS_OFFSET; in set_rse_reg() local