#!/bin/bash

OFFSET=`$1 -h $2  | grep $3 | grep -v zvmlinux | awk '{print $3}'`
echo "0x"$OFFSET
