please help on adb command

[remer]

hi, can you help me if my command is correct? or if my kernel symbol is corerct?

# echo "MpxReserveKey/2x" | adb -w /stand/vmunix /dev/kmem
adb: error: MpxReserveKey: Symbol not found.


thanks in advance.

[Dennis Handly · Accepted solution]

It looks like MpxReserveKey doesn't exist on two systems I looked at.

You might want to use the following to see if you made a typo?
$ nm -px /stand/vmunix | grep -i reserve.*key

(That didn't help me, perhaps I don't have your product/driver installed.)

[remer]

thanks the "nm" command helps.