110ec5117SAlexander Graf /* 210ec5117SAlexander Graf * S/390 helpers 310ec5117SAlexander Graf * 410ec5117SAlexander Graf * Copyright (c) 2009 Ulrich Hecht 5d5a43964SAlexander Graf * Copyright (c) 2011 Alexander Graf 610ec5117SAlexander Graf * 710ec5117SAlexander Graf * This library is free software; you can redistribute it and/or 810ec5117SAlexander Graf * modify it under the terms of the GNU Lesser General Public 910ec5117SAlexander Graf * License as published by the Free Software Foundation; either 1010ec5117SAlexander Graf * version 2 of the License, or (at your option) any later version. 1110ec5117SAlexander Graf * 1210ec5117SAlexander Graf * This library is distributed in the hope that it will be useful, 1310ec5117SAlexander Graf * but WITHOUT ANY WARRANTY; without even the implied warranty of 1410ec5117SAlexander Graf * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 1510ec5117SAlexander Graf * Lesser General Public License for more details. 1610ec5117SAlexander Graf * 1710ec5117SAlexander Graf * You should have received a copy of the GNU Lesser General Public 1870539e18SBlue Swirl * License along with this library; if not, see <http://www.gnu.org/licenses/>. 1910ec5117SAlexander Graf */ 2010ec5117SAlexander Graf 219615495aSPeter Maydell #include "qemu/osdep.h" 22da34e65cSMarkus Armbruster #include "qapi/error.h" 2310ec5117SAlexander Graf #include "cpu.h" 244e58b838SDavid Hildenbrand #include "internal.h" 25022c62cbSPaolo Bonzini #include "exec/gdbstub.h" 261de7afc9SPaolo Bonzini #include "qemu/timer.h" 2763c91552SPaolo Bonzini #include "exec/exec-all.h" 28bd3f16acSPaolo Bonzini #include "hw/s390x/ioinst.h" 29ef81522bSAlexander Graf #ifndef CONFIG_USER_ONLY 309c17d615SPaolo Bonzini #include "sysemu/sysemu.h" 31ef81522bSAlexander Graf #endif 3210ec5117SAlexander Graf 33d5a43964SAlexander Graf //#define DEBUG_S390 34d5a43964SAlexander Graf //#define DEBUG_S390_STDOUT 35d5a43964SAlexander Graf 36d5a43964SAlexander Graf #ifdef DEBUG_S390 37d5a43964SAlexander Graf #ifdef DEBUG_S390_STDOUT 38d5a43964SAlexander Graf #define DPRINTF(fmt, ...) \ 39d5a43964SAlexander Graf do { fprintf(stderr, fmt, ## __VA_ARGS__); \ 40013a2942SPaolo Bonzini if (qemu_log_separate()) qemu_log(fmt, ##__VA_ARGS__); } while (0) 41d5a43964SAlexander Graf #else 42d5a43964SAlexander Graf #define DPRINTF(fmt, ...) \ 43d5a43964SAlexander Graf do { qemu_log(fmt, ## __VA_ARGS__); } while (0) 44d5a43964SAlexander Graf #endif 45d5a43964SAlexander Graf #else 46d5a43964SAlexander Graf #define DPRINTF(fmt, ...) \ 47d5a43964SAlexander Graf do { } while (0) 48d5a43964SAlexander Graf #endif 49d5a43964SAlexander Graf 50d5a43964SAlexander Graf 51d5a43964SAlexander Graf #ifndef CONFIG_USER_ONLY 528f22e0dfSAndreas Färber void s390x_tod_timer(void *opaque) 53d5a43964SAlexander Graf { 54*6482b0ffSDavid Hildenbrand cpu_inject_clock_comparator((S390CPU *) opaque); 55d5a43964SAlexander Graf } 56d5a43964SAlexander Graf 578f22e0dfSAndreas Färber void s390x_cpu_timer(void *opaque) 58d5a43964SAlexander Graf { 59*6482b0ffSDavid Hildenbrand cpu_inject_cpu_timer((S390CPU *) opaque); 60d5a43964SAlexander Graf } 61d5a43964SAlexander Graf #endif 6210c339a0SAlexander Graf 63524d18d8SDavid Hildenbrand S390CPU *s390x_new_cpu(const char *typename, uint32_t core_id, Error **errp) 6410ec5117SAlexander Graf { 65524d18d8SDavid Hildenbrand S390CPU *cpu = S390_CPU(object_new(typename)); 6696b1a8bbSMatthew Rosato Error *err = NULL; 6796b1a8bbSMatthew Rosato 68ca5c1457SDavid Hildenbrand object_property_set_int(OBJECT(cpu), core_id, "core-id", &err); 6996b1a8bbSMatthew Rosato if (err != NULL) { 7096b1a8bbSMatthew Rosato goto out; 7196b1a8bbSMatthew Rosato } 7296b1a8bbSMatthew Rosato object_property_set_bool(OBJECT(cpu), true, "realized", &err); 7396b1a8bbSMatthew Rosato 7496b1a8bbSMatthew Rosato out: 7596b1a8bbSMatthew Rosato if (err) { 7696b1a8bbSMatthew Rosato error_propagate(errp, err); 7796b1a8bbSMatthew Rosato object_unref(OBJECT(cpu)); 7896b1a8bbSMatthew Rosato cpu = NULL; 7996b1a8bbSMatthew Rosato } 8096b1a8bbSMatthew Rosato return cpu; 8196b1a8bbSMatthew Rosato } 8296b1a8bbSMatthew Rosato 83cded4014SThomas Huth #ifndef CONFIG_USER_ONLY 84d5a43964SAlexander Graf 8500b941e5SAndreas Färber hwaddr s390_cpu_get_phys_page_debug(CPUState *cs, vaddr vaddr) 86d5a43964SAlexander Graf { 8700b941e5SAndreas Färber S390CPU *cpu = S390_CPU(cs); 8800b941e5SAndreas Färber CPUS390XState *env = &cpu->env; 89d5a43964SAlexander Graf target_ulong raddr; 90e3e09d87SThomas Huth int prot; 91d5a43964SAlexander Graf uint64_t asc = env->psw.mask & PSW_MASK_ASC; 92d5a43964SAlexander Graf 93d5a43964SAlexander Graf /* 31-Bit mode */ 94d5a43964SAlexander Graf if (!(env->psw.mask & PSW_MASK_64)) { 95d5a43964SAlexander Graf vaddr &= 0x7fffffff; 96d5a43964SAlexander Graf } 97d5a43964SAlexander Graf 98234779a2SDavid Hildenbrand if (mmu_translate(env, vaddr, MMU_INST_FETCH, asc, &raddr, &prot, false)) { 99234779a2SDavid Hildenbrand return -1; 100234779a2SDavid Hildenbrand } 101d5a43964SAlexander Graf return raddr; 102d5a43964SAlexander Graf } 103d5a43964SAlexander Graf 104770a6379SDavid Hildenbrand hwaddr s390_cpu_get_phys_addr_debug(CPUState *cs, vaddr vaddr) 105770a6379SDavid Hildenbrand { 106770a6379SDavid Hildenbrand hwaddr phys_addr; 107770a6379SDavid Hildenbrand target_ulong page; 108770a6379SDavid Hildenbrand 109770a6379SDavid Hildenbrand page = vaddr & TARGET_PAGE_MASK; 110770a6379SDavid Hildenbrand phys_addr = cpu_get_phys_page_debug(cs, page); 111770a6379SDavid Hildenbrand phys_addr += (vaddr & ~TARGET_PAGE_MASK); 112770a6379SDavid Hildenbrand 113770a6379SDavid Hildenbrand return phys_addr; 114770a6379SDavid Hildenbrand } 115770a6379SDavid Hildenbrand 116a4e3ad19SAndreas Färber void load_psw(CPUS390XState *env, uint64_t mask, uint64_t addr) 117d5a43964SAlexander Graf { 118311918b9SAurelien Jarno uint64_t old_mask = env->psw.mask; 119311918b9SAurelien Jarno 120eb24f7c6SDavid Hildenbrand env->psw.addr = addr; 121eb24f7c6SDavid Hildenbrand env->psw.mask = mask; 1223f10341fSDavid Hildenbrand if (tcg_enabled()) { 123eb24f7c6SDavid Hildenbrand env->cc_op = (mask >> 44) & 3; 1243f10341fSDavid Hildenbrand } 125eb24f7c6SDavid Hildenbrand 126311918b9SAurelien Jarno if ((old_mask ^ mask) & PSW_MASK_PER) { 127311918b9SAurelien Jarno s390_cpu_recompute_watchpoints(CPU(s390_env_get_cpu(env))); 128311918b9SAurelien Jarno } 129311918b9SAurelien Jarno 130d5a43964SAlexander Graf if (mask & PSW_MASK_WAIT) { 13149e15878SAndreas Färber S390CPU *cpu = s390_env_get_cpu(env); 132eb24f7c6SDavid Hildenbrand if (s390_cpu_halt(cpu) == 0) { 133ef81522bSAlexander Graf #ifndef CONFIG_USER_ONLY 134cf83f140SEric Blake qemu_system_shutdown_request(SHUTDOWN_CAUSE_GUEST_SHUTDOWN); 135ef81522bSAlexander Graf #endif 136ef81522bSAlexander Graf } 137ef81522bSAlexander Graf } 138d5a43964SAlexander Graf } 139d5a43964SAlexander Graf 140cded4014SThomas Huth uint64_t get_psw_mask(CPUS390XState *env) 141d5a43964SAlexander Graf { 1423f10341fSDavid Hildenbrand uint64_t r = env->psw.mask; 143d5a43964SAlexander Graf 1443f10341fSDavid Hildenbrand if (tcg_enabled()) { 1453f10341fSDavid Hildenbrand env->cc_op = calc_cc(env, env->cc_op, env->cc_src, env->cc_dst, 1463f10341fSDavid Hildenbrand env->cc_vr); 147d5a43964SAlexander Graf 14851855ecfSRichard Henderson r &= ~PSW_MASK_CC; 149d5a43964SAlexander Graf assert(!(env->cc_op & ~3)); 15051855ecfSRichard Henderson r |= (uint64_t)env->cc_op << 44; 1513f10341fSDavid Hildenbrand } 152d5a43964SAlexander Graf 153d5a43964SAlexander Graf return r; 154d5a43964SAlexander Graf } 155d5a43964SAlexander Graf 156cded4014SThomas Huth LowCore *cpu_map_lowcore(CPUS390XState *env) 1574782a23bSCornelia Huck { 158a47dddd7SAndreas Färber S390CPU *cpu = s390_env_get_cpu(env); 1594782a23bSCornelia Huck LowCore *lowcore; 1604782a23bSCornelia Huck hwaddr len = sizeof(LowCore); 1614782a23bSCornelia Huck 1624782a23bSCornelia Huck lowcore = cpu_physical_memory_map(env->psa, &len, 1); 1634782a23bSCornelia Huck 1644782a23bSCornelia Huck if (len < sizeof(LowCore)) { 165a47dddd7SAndreas Färber cpu_abort(CPU(cpu), "Could not map lowcore\n"); 1664782a23bSCornelia Huck } 1674782a23bSCornelia Huck 1684782a23bSCornelia Huck return lowcore; 1694782a23bSCornelia Huck } 1704782a23bSCornelia Huck 171cded4014SThomas Huth void cpu_unmap_lowcore(LowCore *lowcore) 1724782a23bSCornelia Huck { 1734782a23bSCornelia Huck cpu_physical_memory_unmap(lowcore, sizeof(LowCore), 1, sizeof(LowCore)); 1744782a23bSCornelia Huck } 1754782a23bSCornelia Huck 1763f10341fSDavid Hildenbrand void do_restart_interrupt(CPUS390XState *env) 1773f10341fSDavid Hildenbrand { 1783f10341fSDavid Hildenbrand uint64_t mask, addr; 1793f10341fSDavid Hildenbrand LowCore *lowcore; 1803f10341fSDavid Hildenbrand 1813f10341fSDavid Hildenbrand lowcore = cpu_map_lowcore(env); 1823f10341fSDavid Hildenbrand 1833f10341fSDavid Hildenbrand lowcore->restart_old_psw.mask = cpu_to_be64(get_psw_mask(env)); 1843f10341fSDavid Hildenbrand lowcore->restart_old_psw.addr = cpu_to_be64(env->psw.addr); 1853f10341fSDavid Hildenbrand mask = be64_to_cpu(lowcore->restart_new_psw.mask); 1863f10341fSDavid Hildenbrand addr = be64_to_cpu(lowcore->restart_new_psw.addr); 1873f10341fSDavid Hildenbrand 1883f10341fSDavid Hildenbrand cpu_unmap_lowcore(lowcore); 1893f10341fSDavid Hildenbrand 1903f10341fSDavid Hildenbrand load_psw(env, mask, addr); 1913f10341fSDavid Hildenbrand } 1923f10341fSDavid Hildenbrand 193311918b9SAurelien Jarno void s390_cpu_recompute_watchpoints(CPUState *cs) 194311918b9SAurelien Jarno { 195311918b9SAurelien Jarno const int wp_flags = BP_CPU | BP_MEM_WRITE | BP_STOP_BEFORE_ACCESS; 196311918b9SAurelien Jarno S390CPU *cpu = S390_CPU(cs); 197311918b9SAurelien Jarno CPUS390XState *env = &cpu->env; 198311918b9SAurelien Jarno 199311918b9SAurelien Jarno /* We are called when the watchpoints have changed. First 200311918b9SAurelien Jarno remove them all. */ 201311918b9SAurelien Jarno cpu_watchpoint_remove_all(cs, BP_CPU); 202311918b9SAurelien Jarno 203311918b9SAurelien Jarno /* Return if PER is not enabled */ 204311918b9SAurelien Jarno if (!(env->psw.mask & PSW_MASK_PER)) { 205311918b9SAurelien Jarno return; 206311918b9SAurelien Jarno } 207311918b9SAurelien Jarno 208311918b9SAurelien Jarno /* Return if storage-alteration event is not enabled. */ 209311918b9SAurelien Jarno if (!(env->cregs[9] & PER_CR9_EVENT_STORE)) { 210311918b9SAurelien Jarno return; 211311918b9SAurelien Jarno } 212311918b9SAurelien Jarno 213311918b9SAurelien Jarno if (env->cregs[10] == 0 && env->cregs[11] == -1LL) { 214311918b9SAurelien Jarno /* We can't create a watchoint spanning the whole memory range, so 215311918b9SAurelien Jarno split it in two parts. */ 216311918b9SAurelien Jarno cpu_watchpoint_insert(cs, 0, 1ULL << 63, wp_flags, NULL); 217311918b9SAurelien Jarno cpu_watchpoint_insert(cs, 1ULL << 63, 1ULL << 63, wp_flags, NULL); 218311918b9SAurelien Jarno } else if (env->cregs[10] > env->cregs[11]) { 219311918b9SAurelien Jarno /* The address range loops, create two watchpoints. */ 220311918b9SAurelien Jarno cpu_watchpoint_insert(cs, env->cregs[10], -env->cregs[10], 221311918b9SAurelien Jarno wp_flags, NULL); 222311918b9SAurelien Jarno cpu_watchpoint_insert(cs, 0, env->cregs[11] + 1, wp_flags, NULL); 223311918b9SAurelien Jarno 224311918b9SAurelien Jarno } else { 225311918b9SAurelien Jarno /* Default case, create a single watchpoint. */ 226311918b9SAurelien Jarno cpu_watchpoint_insert(cs, env->cregs[10], 227311918b9SAurelien Jarno env->cregs[11] - env->cregs[10] + 1, 228311918b9SAurelien Jarno wp_flags, NULL); 229311918b9SAurelien Jarno } 230311918b9SAurelien Jarno } 231311918b9SAurelien Jarno 232d5a43964SAlexander Graf #endif /* CONFIG_USER_ONLY */ 233b5bd2e91SThomas Huth 234b5bd2e91SThomas Huth void s390_cpu_dump_state(CPUState *cs, FILE *f, fprintf_function cpu_fprintf, 235b5bd2e91SThomas Huth int flags) 236b5bd2e91SThomas Huth { 237b5bd2e91SThomas Huth S390CPU *cpu = S390_CPU(cs); 238b5bd2e91SThomas Huth CPUS390XState *env = &cpu->env; 239b5bd2e91SThomas Huth int i; 240b5bd2e91SThomas Huth 241b5bd2e91SThomas Huth if (env->cc_op > 3) { 242b5bd2e91SThomas Huth cpu_fprintf(f, "PSW=mask %016" PRIx64 " addr %016" PRIx64 " cc %15s\n", 243b5bd2e91SThomas Huth env->psw.mask, env->psw.addr, cc_name(env->cc_op)); 244b5bd2e91SThomas Huth } else { 245b5bd2e91SThomas Huth cpu_fprintf(f, "PSW=mask %016" PRIx64 " addr %016" PRIx64 " cc %02x\n", 246b5bd2e91SThomas Huth env->psw.mask, env->psw.addr, env->cc_op); 247b5bd2e91SThomas Huth } 248b5bd2e91SThomas Huth 249b5bd2e91SThomas Huth for (i = 0; i < 16; i++) { 250b5bd2e91SThomas Huth cpu_fprintf(f, "R%02d=%016" PRIx64, i, env->regs[i]); 251b5bd2e91SThomas Huth if ((i % 4) == 3) { 252b5bd2e91SThomas Huth cpu_fprintf(f, "\n"); 253b5bd2e91SThomas Huth } else { 254b5bd2e91SThomas Huth cpu_fprintf(f, " "); 255b5bd2e91SThomas Huth } 256b5bd2e91SThomas Huth } 257b5bd2e91SThomas Huth 258b5bd2e91SThomas Huth for (i = 0; i < 16; i++) { 259b5bd2e91SThomas Huth cpu_fprintf(f, "F%02d=%016" PRIx64, i, get_freg(env, i)->ll); 260b5bd2e91SThomas Huth if ((i % 4) == 3) { 261b5bd2e91SThomas Huth cpu_fprintf(f, "\n"); 262b5bd2e91SThomas Huth } else { 263b5bd2e91SThomas Huth cpu_fprintf(f, " "); 264b5bd2e91SThomas Huth } 265b5bd2e91SThomas Huth } 266b5bd2e91SThomas Huth 267b5bd2e91SThomas Huth for (i = 0; i < 32; i++) { 268b5bd2e91SThomas Huth cpu_fprintf(f, "V%02d=%016" PRIx64 "%016" PRIx64, i, 269b5bd2e91SThomas Huth env->vregs[i][0].ll, env->vregs[i][1].ll); 270b5bd2e91SThomas Huth cpu_fprintf(f, (i % 2) ? "\n" : " "); 271b5bd2e91SThomas Huth } 272b5bd2e91SThomas Huth 273b5bd2e91SThomas Huth #ifndef CONFIG_USER_ONLY 274b5bd2e91SThomas Huth for (i = 0; i < 16; i++) { 275b5bd2e91SThomas Huth cpu_fprintf(f, "C%02d=%016" PRIx64, i, env->cregs[i]); 276b5bd2e91SThomas Huth if ((i % 4) == 3) { 277b5bd2e91SThomas Huth cpu_fprintf(f, "\n"); 278b5bd2e91SThomas Huth } else { 279b5bd2e91SThomas Huth cpu_fprintf(f, " "); 280b5bd2e91SThomas Huth } 281b5bd2e91SThomas Huth } 282b5bd2e91SThomas Huth #endif 283b5bd2e91SThomas Huth 284b5bd2e91SThomas Huth #ifdef DEBUG_INLINE_BRANCHES 285b5bd2e91SThomas Huth for (i = 0; i < CC_OP_MAX; i++) { 286b5bd2e91SThomas Huth cpu_fprintf(f, " %15s = %10ld\t%10ld\n", cc_name(i), 287b5bd2e91SThomas Huth inline_branch_miss[i], inline_branch_hit[i]); 288b5bd2e91SThomas Huth } 289b5bd2e91SThomas Huth #endif 290b5bd2e91SThomas Huth 291b5bd2e91SThomas Huth cpu_fprintf(f, "\n"); 292b5bd2e91SThomas Huth } 293c5340550SDavid Hildenbrand 294c5340550SDavid Hildenbrand const char *cc_name(enum cc_op cc_op) 295c5340550SDavid Hildenbrand { 296c5340550SDavid Hildenbrand static const char * const cc_names[] = { 297c5340550SDavid Hildenbrand [CC_OP_CONST0] = "CC_OP_CONST0", 298c5340550SDavid Hildenbrand [CC_OP_CONST1] = "CC_OP_CONST1", 299c5340550SDavid Hildenbrand [CC_OP_CONST2] = "CC_OP_CONST2", 300c5340550SDavid Hildenbrand [CC_OP_CONST3] = "CC_OP_CONST3", 301c5340550SDavid Hildenbrand [CC_OP_DYNAMIC] = "CC_OP_DYNAMIC", 302c5340550SDavid Hildenbrand [CC_OP_STATIC] = "CC_OP_STATIC", 303c5340550SDavid Hildenbrand [CC_OP_NZ] = "CC_OP_NZ", 304c5340550SDavid Hildenbrand [CC_OP_LTGT_32] = "CC_OP_LTGT_32", 305c5340550SDavid Hildenbrand [CC_OP_LTGT_64] = "CC_OP_LTGT_64", 306c5340550SDavid Hildenbrand [CC_OP_LTUGTU_32] = "CC_OP_LTUGTU_32", 307c5340550SDavid Hildenbrand [CC_OP_LTUGTU_64] = "CC_OP_LTUGTU_64", 308c5340550SDavid Hildenbrand [CC_OP_LTGT0_32] = "CC_OP_LTGT0_32", 309c5340550SDavid Hildenbrand [CC_OP_LTGT0_64] = "CC_OP_LTGT0_64", 310c5340550SDavid Hildenbrand [CC_OP_ADD_64] = "CC_OP_ADD_64", 311c5340550SDavid Hildenbrand [CC_OP_ADDU_64] = "CC_OP_ADDU_64", 312c5340550SDavid Hildenbrand [CC_OP_ADDC_64] = "CC_OP_ADDC_64", 313c5340550SDavid Hildenbrand [CC_OP_SUB_64] = "CC_OP_SUB_64", 314c5340550SDavid Hildenbrand [CC_OP_SUBU_64] = "CC_OP_SUBU_64", 315c5340550SDavid Hildenbrand [CC_OP_SUBB_64] = "CC_OP_SUBB_64", 316c5340550SDavid Hildenbrand [CC_OP_ABS_64] = "CC_OP_ABS_64", 317c5340550SDavid Hildenbrand [CC_OP_NABS_64] = "CC_OP_NABS_64", 318c5340550SDavid Hildenbrand [CC_OP_ADD_32] = "CC_OP_ADD_32", 319c5340550SDavid Hildenbrand [CC_OP_ADDU_32] = "CC_OP_ADDU_32", 320c5340550SDavid Hildenbrand [CC_OP_ADDC_32] = "CC_OP_ADDC_32", 321c5340550SDavid Hildenbrand [CC_OP_SUB_32] = "CC_OP_SUB_32", 322c5340550SDavid Hildenbrand [CC_OP_SUBU_32] = "CC_OP_SUBU_32", 323c5340550SDavid Hildenbrand [CC_OP_SUBB_32] = "CC_OP_SUBB_32", 324c5340550SDavid Hildenbrand [CC_OP_ABS_32] = "CC_OP_ABS_32", 325c5340550SDavid Hildenbrand [CC_OP_NABS_32] = "CC_OP_NABS_32", 326c5340550SDavid Hildenbrand [CC_OP_COMP_32] = "CC_OP_COMP_32", 327c5340550SDavid Hildenbrand [CC_OP_COMP_64] = "CC_OP_COMP_64", 328c5340550SDavid Hildenbrand [CC_OP_TM_32] = "CC_OP_TM_32", 329c5340550SDavid Hildenbrand [CC_OP_TM_64] = "CC_OP_TM_64", 330c5340550SDavid Hildenbrand [CC_OP_NZ_F32] = "CC_OP_NZ_F32", 331c5340550SDavid Hildenbrand [CC_OP_NZ_F64] = "CC_OP_NZ_F64", 332c5340550SDavid Hildenbrand [CC_OP_NZ_F128] = "CC_OP_NZ_F128", 333c5340550SDavid Hildenbrand [CC_OP_ICM] = "CC_OP_ICM", 334c5340550SDavid Hildenbrand [CC_OP_SLA_32] = "CC_OP_SLA_32", 335c5340550SDavid Hildenbrand [CC_OP_SLA_64] = "CC_OP_SLA_64", 336c5340550SDavid Hildenbrand [CC_OP_FLOGR] = "CC_OP_FLOGR", 337c5340550SDavid Hildenbrand }; 338c5340550SDavid Hildenbrand 339c5340550SDavid Hildenbrand return cc_names[cc_op]; 340c5340550SDavid Hildenbrand } 341